I've just fixed up the `reverse_https_proxy` to do the same thing, so `HIDDENHOST` and `HIDDENPORT` are no more.