{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"\"*This"}]}
                        "*This is the documentation for* `{}`\n\n",
                    let header_docs = format!(
                        adt.display(db, display_target)