[tor-commits] [torspec/master] note that CLIENTS_SEEN is rounded; close 4688