I wrote:
> "Joshua D. Drake" <jd@commandprompt.com> writes:
>> IIRC:
>> TGL submitted a patch for the openjade bug way back when that caused
>> that issue.
> I think you're thinking of this:
> http://www.postgresql.org/message-id/24388.1166800682@sss.pgh.pa.us
> I do not recall just when/how that got resolved upstream, or if they
> ever even responded to me. But it must have been resolved, because the
> performance before that was patched was untenable even then, and would be
> far more so now considering how much our docs have grown since 2006.
Actually, further digging suggests that Peter found a way to hack our
stylesheets to avoid that openjade bug:
http://www.postgresql.org/message-id/200612100315.47269.peter_e@gmx.nethttp://git.postgresql.org/gitweb/?p=postgresql.git&a=commitdiff&h=465269b8a
So it's possible that the openjade bug is still there, but has been
defanged for our purposes. In any case, there's still little reason
to think that it would apply to a different toolchain.
regards, tom lane