Ensure name in plugin.

ntoll · ntoll · commit be18a4995968 · 2022-10-19T11:33:00.000+01:00
diff --git a/customtags.js b/customtags.js
@@ -35,6 +35,7 @@ const pyReplTag = function(e) {
     */
 
     const plugin = {
+        name: "py-repl",
         configure: function(config) {
             // Just set a flag to indicate that a REPL is active.
             config.repl = true
