We must have highlighting for:

• TL-B
• Fift
• FunC
• Tolk

We can get highlighting for:

• TASM — unused in compilation pipelines of all main languages (as of now!)

We don't need the highlighting of:

• Tact — there's some usage of it in the current docs, but those snippets will be replaced with Tolk

Now, there is a good way and a backup way to resolve this. The good way is for Mintlify to be able to support TON languages in their MDX parser through TextMate grammar definitions listed here and Shiki. The backup way (or the bolt-stuff-onto-html-code way) is to use Prism.js in extra.js and these grammar definitions (or those).

Relevant discussion in the Mintlify's org: https://github.com/orgs/mintlify/discussions/1706