Shorten the name of the <rfc> "number" attribute to "num".
Shorten the name of the <rfc> "number" attribute to "num".

sk-/python2.7-type-annotator,sk-/python2.7-type-annotator,sk-/python2.7-type-annotator