I wrote:
> With the patch it takes me about 5 minutes to do the jade step of the
> PDF build, using this morning's SGML sources.
Ooops, that was with an -O0 build for debugging. After rebuilding with
the normal -O2 optimization, it takes about 70 seconds, just about
exactly the same as for the HTML-output case.
regards, tom lane