It seems like https://jsoneditoronline.org autosaves when making changes. Gross. That’s not helpful for threads like this.
@WoJ Could you post your original config elsewhere?
Scratch that, @abiosoft put the original and fixed versions in his gist.
Here’s a diff (ignoring whitespace):
diff --git a/before.txt b/after.txt
index fec82c0..55776a4 100644
--- a/before.txt
+++ b/after.txt
@@ -333,7 +333,6 @@
],
"terminal": true
},
- [
{
"match": [
{
@@ -405,8 +404,7 @@
]
}
]
- }
- ],
+ },
{
"match": [
{