[tor-commits] [community/develop] punctuation and capitalization edits