I guess one vote in favor of the definition being "what someone might edit by hand" is in #6815. That adds a "staticserver.port" pref. You *might* want to share that between machines, but maybe not. The main thing is that humans have a reason to change that value.