Evolving the MediaWiki platform: Why we replaced Tidy with a HTML5 parser July 9, 2018 by Subbu Sastry and Tim Starling