[tor-commits] [community/develop] Change section name