8001
By default, the proxy's REST API listens on port `8001` instead of `8081`. The hub service listens on port `8081`.
Addresses issue #1747. These additions aren't perfect -- it's unfortunate that I've added mention of reverse proxies on two separate pages. I don't _think_ these can reasonably be put on the same page -- perhaps a cross reference?