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