HTML5 is a living standard, no? There isn't going to be an "HTML6".
W3C HTML5 is not just a snapshot of a particular revision of the WHATWG Living Standard. In a reasonable world, W3C HTML5 (etc.) would be a subset of the WHATWG Living Standard on the date the former was published, but I'm not sure that even that is strictly the case.