HTML tidy is gone

Originally posted on mastodon.technology.

One of the projects I've been working on since ~October 2016 is now finally done: we no longer use HTML tidy on Wikimedia sites: https://blog.wikimedia.org/2018/07/09/tidy-html5-replacement/