We check this website, now devdocs.io is up and dont blocked for our system and other users of the Internet.
So, answer to question: Is devdocs Down Right Now? - NO! devdocs is up!
If you have problem with access to site devdocs, and domain devdocs.io is not avalible.
Clear browser cache and/or try other web browser
(Chrome, Firefox or Safari).