Verbatim in Footnores

<..fix fancyvrb..>+
 \def\V@@footnotetext{%
 \leavevmode
    \vbox\bgroup
       \leftskip0pt {\ht:everypar{}\parindent0pt\leavevmode}%
       <.footnote label.>%
       \a:footnotetext
       \b:footnotetext
       \csname a:footnotebody\endcsname
       \bgroup
           \reset@font\footnotesize
           \bgroup
              \aftergroup\V@@@footnotetext
              \ignorespaces
 }
 \def\V@@@footnotetext{%
       \egroup
       \csname b:footnotebody\endcsname
       \c:footnotetext
    \ht:special{t4ht@[}\egroup\ht:special{t4ht@]}%
 }
 -_-_-

<..fix fancyvrbNO..>
 \pend:def\V@@footnotetext{%
    \let\FNmark=\@thefnmark
    \begingroup
    \ifnum \FNnum>\fn:txt
       \gHAssign\fn:txt=\FNnum
       \def\@makefnmark{\hbox{\ExitHPage{\a:footnote}}}%
       \b:footnote \def\end:fverb{\c:footnote}%
    \else
       \a:footnotetext \b:footnotetext \let\end:fverb=\c:footnotetext
    \fi
    \:gobbleII}
 \append:def\V@@@footnotetext{\end:fverb\endgroup}
 -_-_-

We mimic, and using components from, the standard verbatim environment of LaTeX. The \:gobbleII is for getting rid of the ‘\insert\footins’.