I believe this is what he's talking about: https://github.com/w3c/html