This is an interesting point. I've found in practice that the speed of server startup times depends on the scale of operations. For example, at a small scale, a 600 ms vs. a 1.2 sec startup makes little difference.

However, at scale such differences can matter. More so when something is going wrong that's causing erratic restarts.