[tor-commits] [torbutton/master] Add 1506 comments pointed out by Georg.