I see that the spec is now pointing at [HTML](https://html.spec.whatwg.org/multipage/nav-history-apis.html#navigation-api). Congrats!! Can we archive this repo? Or should we move the issues over to HTML first?