Firefox add-on: Allow entering the port number when setting the hub.