chore: backtick identifiers in delaborator messages#11843

alok wants to merge 1 commit intoleanprover:masterleanprover/lean4:masterfrom

alok:backticks-prettyprinteralok/lean4:backticks-prettyprinterCopy head branch name to clipboard