Turns out, `CENTRAL_SERVER_DOMAIN` gets used a few lines below this, so removing it breaks things (`NameError: name 'CENTRAL_SERVER_DOMAIN' is not defined`). I'm already in the middle of resolving the merge conflict, so don't push anything new, but I'll pull this back up to here and do a new commit after.