Now that we have support also for older format (one version back) rulesets, renaming server settings has become more hairy. It's not only the existing, and already robust, system of handling compatibility with old savegames with the old setting name, but now we should consider also old game.ruleset with server settings included.
AFAIK this would be the first time we need to support outdated server setting name from a ruleset, and we would need to write the systems to do it from scratch. As the issue with "spaceship_travel_time" name is not very serious, I'm inclined to postpone this to 3.2, instead of starting to squeeze all of this to 3.1 schedule.
Reply To cazfi
As the issue with "spaceship_travel_time" name is not very serious, I'm inclined to postpone this to 3.2, instead of starting to squeeze all of this to 3.1 schedule.
Writing the code is not going to take much time, but it would be new code introduced to a stabilizing branch. Will do to master only.
setcompat module to be used -> #43394
Rename "spaceship_travel_time" server setting to indicate it's percentage multiplier.