Commit b3ea81b33fe1ef223d88cf67e7260815351c91d7
2023-02-23T19:53:53
wikiheaders: Work to make the wiki exist primarily in Markdown format. This adds a means to mass-convert the whole wiki to Markdown as a one-time operation, and then some fixes to make --copy-to-headers correctly deal with Markdown-formatted wiki pages. (cherry picked from commit 936a51d5cc50afd76e291acd36bcb95513ce8919)