html5 doesn't have the previous state anymore?

Author: plehegar

sections/introduction.include

@@ -141,7 +141,7 @@
   Since then, the W3C HTML WG has been cherry picking patches from the WHATWG that resolved bugs
   registered on the W3C HTML specification or more accurately represented implemented reality in
   user agents. At time of publication of this document, patches from the <a>WHATWG HTML specification</a>
-  have been merged until revision <a>8424</a> inclusive. The W3C HTML editors have also added
+  have been merged until January 12, 2016. The W3C HTML editors have also added
   patches that resulted from discussions and decisions made by the W3C HTML WG as well a bug fixes
   from bugs not shared by the WHATWG.
 

single-page.bs

@@ -45,8 +45,6 @@ urlPrefix: http://www.w3.org/TR/cssom-view/; type: interface; spec: cssom-view;
     text: screen;
 urlPrefix: http://www.whatwg.org/specs/web-apps/current-work/; url:; type: dfn; spec: WHATWG;
     text: WHATWG HTML specification;
-urlPrefix: http://html5.org/r/8424/; url:; type: dfn;
-    text: 8424;
 url: http://www.w3.org/TR/REC-xml-names#NT-QName; type: dfn;
     text: QName;
 url: https://drafts.csswg.org/css2/conform.html#intrinsic; type: dfn;