[tor-commits] [translation/torbutton-branddtd] Partial fix for #9144