Tuesday 9th January 2018

Documentation fixed

We moved the documentation proxy to another server, the documentation can now be reached again.