More HTTP server configuration: allow user-chosen address+port and