Thanks, Michael, but I'm still not seeing those settings. Running the dashboard, I click on Network, and I get a window with two sections, Network Settings and Webserver ports settings.
Under Network settings, I've got IP, Gateway, Subnet Mask, and DNS.
Under Webserver ports settings, I've got HTTP port and HTTPS port. All I can do under HTTPS port is select the port number. What am I missing?