ctxdoc: verbatim 模块的行距有误

[stone-zeng]

如下图所示，%<<COMMENT 与 %COMMENT 所在行上方间距偏小。

（来源：xpinyin.pdf）

问题可能出在 \@@_module_verb:w。\l_@@_verbatim_line_tl 最后带一个回车符 ^^M ，直接输出该
token list 会使行距按照 \footnotesize 更新，比正常代码行偏小。

我目前的解决方案是先把 \l_@@_verbatim_line_tl 最后的 ^^M 去掉，输出之后再补上一个 \par。

[stone-zeng]

给一个 MWE：

% \iffalse
%<*driver>
\documentclass{ctxdoc}
\begin{document}
  \DocInput{\jobname.tex}
\end{document}
%</driver>
% \fi
%
%    \begin{macrocode}
\newcommand\foo{bar}
%<<TAG
Some code
%TAG
\newcommand\bar{foo}
\renewcommand\foo{bar}
%<*test>
Some code
%</test>
\renewcommand\bar{foo}
%    \end{macrocode}
% \Finale

第 2、4 两行往上偏了一点。