[tor-commits] [flashproxy/master] get_facilitator_pubkey read from the global options.