[html5] What happened to developers.whatwg.org?

Jorge . chocolate.camera at gmail.com
Wed Jul 5 04:05:20 PDT 2017

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?

More information about the Help mailing list