> the default occurred here, and also in WorkerServer, where it also does port || 1337

Well spotted, @sam-github!