Comment by kijin

The web app is also available on port 443, which every "corporate github user" should have been using anyway.