The manual website is back. The support then borked the main website and this is now fixed, too.