DOCBOOK-APPS: [JadeTeX] footnotes in programlisting

[Stephane Bortzmeyer <bortzmeyer@nic.fr>]

[I still have a lot of problems with the undecipherable PassiveTeX and
with Java-based things. So, I stick with Jade+DSSSL+JadeTeX to produce
prints.]

When I include <footnote> in a <programlisting>, it is nicely
typesetted with the default options of the stylesheets. But if I use:

(define bop-footnotes
  ;; Needs a -V tex-backend to jade
  ;; Make "bottom-of-page" footnotes?
  #t)

The footnote is typesetted in a fixed font, like the programlisting
itself. Understandable but annoying. Does it mean I should use
callouts?