I started up three mongos processes and then shut two of them down. However, they were still listed in config.mongos. It seems like we should clean up config.mongos occasionally, as we recommend starting up mongos processes early and often.