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

Or return to the current status page of ppsi.ethz.co.