Renamed "Web server port" option in config.py