[tor-commits] [tor/master] Improve documentation for connection_dirserv_flushed_some.