Commit e260c804724444aa94cc3b739991ac6bc554844d
2021-08-30T23:46:54
Fix the wiki/headers bridge. I'm tweaking this manually to remove some whitespace that confused it, but if this happens again I'll make improvements to wikiheaders.pl instead.