How can I embed code for some programming language (e.g., Idris 2) whose syntax highlighting is not currently supported?