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