diff --git a/runtime/help/plugins.md b/runtime/help/plugins.md
index c31b3d81..eff48d06 100644
--- a/runtime/help/plugins.md
+++ b/runtime/help/plugins.md
@@ -418,7 +418,7 @@ your own plugins.
 Micro also has a built in plugin manager which you can invoke with the
 `> plugin ...` command, or in the shell with `micro -plugin ...`.
 
-For the valid commands you can use, see the `command` help topic.
+For the valid commands you can use, see the `commands` help topic.
 
 The manager fetches plugins from the channels (which is simply a list of plugin
 metadata) which it knows about. By default, micro only knows about the official
diff --git a/runtime/syntax/python3.yaml b/runtime/syntax/python3.yaml
index 0afcd051..ba415a77 100644
--- a/runtime/syntax/python3.yaml
+++ b/runtime/syntax/python3.yaml
@@ -58,5 +58,5 @@ rules:
     - comment:
         start: "#"
         end: "$"
-        rules:
-            - todo: "(TODO|FIXME):?"
+        rules:  # AKA Code tags (PEP 350)
+            - todo: "(TODO|FIXME|HACK|BUG|NOTE|FAQ|MNEMONIC|REQ|RFE|IDEA|PORT|\?\?\?|!!!|GLOSS|SEE|TODOC|STAT|RVD|CRED):?"