Commit 8ec9fbdd0c3f2ae6d91acc0351e6241314509f23

Ryan C. Gordon 2021-07-14T11:58:57

wikiheaders.pl: pull in full sections from headers, fix more whitespace.