The web interface now does not fail anymore if it cannot connect to github.com. Appropriate information is generated.