Add WHATWG HTML spec, too.