Use \texttt instead of \verb in userdoc