[tor-commits] [flashproxy/master] better instructions making use of the existing option