[tor-commits] [torspec/master] Use proposal number, not RFC number.