Or 8080 if that makes more sense as a common proxy port, but to be honest I'm not really sure what we should default it to. Making optional work for integers and leaving it blank might be just as well.