{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"//!"}]}
//! Sometimes, we want to display a "rich text" in the UI. At the moment, we use
//!
//! markdown for this purpose. It doesn't feel like a right option, but that's