{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"}"}]}
                } else {
                    format!("\x1b]8;;{path}/{code}.html\x07{code}\x1b]8;;\x07")
                    code.to_string()