In the next hours the website and other infrastructure is moving to a new server, some service downtimes are expected. Update: finished
To increase privacy a bit, SSL is now enabled by default.
I will do some maintenance on the infrastructure in the next few hours/days. There will be some outages of different length. Update: Finished maintenance. Only major difference for the user: The downloads using normal http-port 80 now.