Is the 'Developer Information for Chrome OS Devices' site down temporarily?

[DennisLfromGA]

Since yesterday I am no longer able to open:   

• Developer Information for Chrome OS Devices
  https://www.chromium.org/chromium-os/developer-information-for-chrome-os-devices  

I'm just getting a 'Page Not Found' error.  

Hopefully, this is just a temporary glitch and the site has not gone away.

I rely on the '#notebooks-and-desktops' table and always have a tab open with it.

I have seen some sites moved to the 'Developer Library', maybe this is or will be one of them. 🤔

~DennyL

[Mike Frysinger]

https://crrev.com/c/5378016 broke things

James: can you restore the landing page ?  or set up a proper redirect ?  that URL has been around for years and we can't just drop it.

-mike

--
--
Chromium OS Discussion mailing list: chromium-...@chromium.org
View archives, change email options, or unsubscribe:
https://groups.google.com/a/chromium.org/group/chromium-os-discuss

[DennisLfromGA]

Thanx Mike. 👍

[DennisLfromGA]

I did find it under 'ChromiumOS > Developer Library > Reference >' after Mike mentioned it above:   

• Developer Information for ChromeOS Devices
  https://www.chromium.org/chromium-os/developer-library/reference/development/developer-information-for-chrome-os-devices/  

But a redirect would be greatly appreciated.

~DennyL