docs: make sure there's only one # markdown header in each file

docs: make sure there's only one # markdown header in each file

@bertob wants us to be strict here, and only have one "#" header per
markdown file, and use "##" (or "###", …) for all others. Interestingly,
we mostly got this right already, but this fixes a few cases where this
wasn't correct.