When a mongos reports that config servers are not in sync, it only prints 2 config servers' names and corresponding dbhashes. If it's possible to determine which config server's state is the correct one to use, it would be very helpful if the mongos could report this in its log messages. (If it's not possible to determine which config server's state is correct to use, then we need to at least document what to do to get out of this problem.)