[tor-commits] [translation/torbutton-torbuttonproperties] Second half of #9144 fix