Miscellaneous resources for the servers hosting *.whatwg.org domains - View it on GitHub