(lexer): Ignore @badspell, @holl and @daemon.

doc/checkargs.py

@@ -376,7 +376,10 @@ class lexer:
     toplevel_reqexample = ignore
     toplevel_anchor = ignore
     toplevel_appendix = ignore
-    toplevel_display = ignore  # 
+    toplevel_display = ignore
+    toplevel_badspell = ignore
+    toplevel_holl = ignore
+    toplevel_daemon = ignore
 
     def toplevel_node(self, arg, line_no):
         if self.__findex != None: