[tor-commits] [tor/master] Replace identifiers related to clipping DNS ttls.