[tor-commits] [user-manual/master] Change "also known as hidden services" to "formerly known as hidden services"