[tor-commits] [user-manual/master] Dropping reference to FlashProxy