developers.whatwg.org used to be my go-to reference for everything HTML, mainly due to its nice search box. Now it redirects to https://html.spec.whatwg.org/dev/ instead, which has no search box. How come?