The HTML specification is kept in version control on this server:

A Web interface is available at:

This server has aggressive DOS protections. If you receive a password prompt, please contact <> and let me know from which IP address you were attempting to access the server, so that I can unblock you.

Other WHATWG specs are kept in Github: