[tor-commits] [tor/master] Rename, revise, and document directory_request_is_dir_specified.