Code Mirror Prolog syntax modelling problem

[Jean-Luc-Picard-2021]

Here an example where things are ok:

            {
                "type": "int"
            },

Here a slight mishap, the zero alone is not recognized as int:

            {
                "arity": 0,
                "text": "0",
                "type": "goal_built_in"
            },

[Jean-Luc-Picard-2021]

Maybe the issue is an old issue. Did not sift through the tickets here.
But is also from an old notebook, I only saw the problem
today. Not sure whether problem existed in the past:

https://swish.swi-prolog.org/p/Hilbert.swinb

The error is flooding the console, with mismatch log texts: