Hash :
e260c804
Author :
Date :
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.