[tor-commits] [translation-tools/master] better with the extension