Our Jenkins server is available on a non-standard port (http://jenkins.akka.io:8498/), which in some networks can be blocked. It might be nice to serve it on port 443 so it is easier to access from such networks.