[lib] Avoid redundant \tcode{\exposid{...}} and add a check#6456

tkoeppe merged 1 commit intomaincplusplus/draft:mainfrom

c64cplusplus/draft:c64Copy head branch name to clipboard