and use TOOL_SED to flatten backspace sequences.
src/Makefile to "make regen" in src/doc/Makefile, and update a comment in doc/BUILDING.mdoc to match.