[tor-commits] [torspec/master] Replaced a vague may with RFC-ish MAY