fixup_insert_section_ids: Warn if obsolete section ids need to be added to the legacy whatever-sections.js file.
Link to the section-rewriting script from the HTML file. Does not quite work yet, because the JS is a bit broken.
Adjust the script to fire after the page loads. Fixes #41.
Merge #41 to HEAD.
Allow %Identifier% to appear more freely in element ids.
Add permalinks for Rev 19 -> Rev 21.