\section[texinfo_for_prl]{Texinfo-only code for language \tr{prl}}

\begin{code}
# this keeps 'do'ing happy
1;
\end{code}