Allow numbers in rustdoc tests commands

Author: GuillaumeGomez

src/etc/htmldocck.py

@@ -270,7 +270,7 @@ def filter_line(line):
 
 LINE_PATTERN = re.compile(r'''
     //@\s+
-    (?P<negated>!?)(?P<cmd>[A-Za-z]+(?:-[A-Za-z]+)*)
+    (?P<negated>!?)(?P<cmd>[A-Za-z0-9]+(?:-[A-Za-z0-9]+)*)
     (?P<args>.*)$
 ''', re.X | re.UNICODE)