feat: add toTex support for Manual.keywordOf#572

kpadmasola wants to merge 4 commits into

leanprover:mainleanprover/reference-manual:mainfrom

placidex:inline-manual-keywordOfplacidex/reference-manual:inline-manual-keywordOfCopy head branch name to clipboard