[tor-commits] [torspec/master] Add Ticket: field for prop#140.