Post

Finally. MediaWiki spam battles were clearly eating volunteer time, and PR-based edits should keep most bots out. My only worry is SEO: static GitHub Pages sites usually rank worse than a live MediaWiki instance. I could be wrong, but that tradeoff rarely gets mentioned.