[tor-commits] [torbutton/master] Add some comments to the Bug #9454 check.