check-spelling-docs

This branch is responsible for maintaining the check-spelling/check-spelling-docs gh-pages content.

It mostly contains a number of workflows:

• refresh is responsible for pulling in new content from the check-spelling/check-spelling wiki
• jekyll-gh-pages is responsible for publishing the content to gh-pages
• link-checker is responsible for checking links in the published site
• spelling is responsible for checking the spelling of both this branch and the gh-pages branch

Supporting scripts:

• build.sh proesses all of the wiki pages (calling process-md.pl and add-footer.pl)
• process-md.pl handles most divergences between GitHub's wiki markdown and gh-pages's markdown (with the exception of a quirk in relating to code anchors which is handled by jekyll-gh-pages)
• add-footer.pl ensures that each page has a footer