This is just a temporary workaround, but it might be enough in most
cases. It performs a few checks on the LaTeX output so that links and
priorities are correctly displayed in the verbatim environment.

-- 
Bastien