In reply to a tweet by madbardmike:

@madbardmike To build wattsi, the tool used to compile the HTML specification from its source document. github.com/whatwg/wattsi