[tor-commits] [torbutton/maint-9.0] Merge remote-tracking branch 'richardtpo/bug_31855' into maint-9.0