in scripts/generateHeadingIDs.js [25:27]
function stripLinks(line) { return line.replace(/\[([^\]]+)\]\([^)]+\)/, (match, p1) => p1); }