Thank you, @marijn. This is a component of @lezer/highlight, right? I am just a bit confused. and if it is true, then, I can construct something like this (first answer)