@bill_s: you are right that the modified port number is only effective after a reboot. If you click on the ‘show tooltip’ button on the ‘set options’ page, there is a brief explanation of each option, and for the HTTP port option it says ‘effective after reboot’.