[tor-commits] [torspec/master] Document requirement for use of TOR_PT_EXTENDED_SERVER_PORT.