[tor-commits] [torspec/master] Standardizing on the name 'server descriptor'