[tor-commits] [manual/develop] better grammar. reported by translator, thanks!