Commit 1b49f092431379d43649d85c5b35b604d977be11

Ryan C. Gordon 2021-10-08T20:22:48

include: manually ran wikiheaders.pl and cleaned up the obvious issues.