Update Doc/tools/extensions/peg_highlight.py

Co-authored-by: Guido van Rossum <gvanrossum@gmail.com>

Author: pablogsal

Doc/tools/extensions/peg_highlight.py

@@ -7,7 +7,7 @@
 class PEGLexer(RegexLexer):
     """Pygments Lexer for PEG grammar (.gram) files
 
-    This lexer stripts the following elements from the grammar:
+    This lexer strips the following elements from the grammar:
 
         - Meta-tags
         - Variable assignments