Issues with idris.online access could stem from improper redirect settings between different versions of the site. Check the following links for alternative routes:

http://idris.online http://www.idris.online https://idris.online https://www.idris.online

Or return to the current status page of idris.online.