Split between WHATWG HTML and W3C HTML5, drop 5.1. Also drop inert.