Documentation times out

> OpenMS documentation is not currently available because the documentation server timed out. If you see this persistently, please open a bug report at https://github.com/OpenMS/OpenMS-website/issues