[tor-commits] [translation-tools/master] small documentation comment