Coloring for printed { } is broken

[EmilyGraceSeville7cf]

Sample tldr page:

# awk

> A versatile programming language for working on files.
> See also: `sed`, `ed`.
> More information: <https://manned.org/awk.1>.

- Execute commands:

`awk '{{{ print gensub("apple", "mango", "g") }}}'`

The last } displayed must be red too.

[MasterOdin]

I'm not sure what exactly you're looking for here. Is it that { } characters shouldn't be removed? That the } character is not colored the same as the rest of the example? Happy to help try to address this, but I'm at a loss one what the user expectation is as I don't use awk that much so none of these commands much sense to me.

[EmilyGraceSeville7cf]

That the } character is not colored the same as the rest of the example?

Yes. The problem is not addressed to just awk. It happens with other pages for instance for cat file.json | jq '{my_new_key: .key_name, my_other_key: .other_key_name}' command sample.