Bastien <bzg@altern.org> writes:
> Well, the HTML page was empty -- same error than with the unpatched
> version of org-info.js.

Fetching a stale copy from cache perhaps?  I did all my testing locally
and changed things around to make sure it would really load the version
I just created...

> If you're confident this works with this structure:
>
>   <div id="preamble">
>     <h1 class="title">Title</h1>
>   <div>
>   
>   <div id="content">
>   ...
>   <div>
>
> then I will apply the patch (with a ChangeLog!)

That works for me in Firefox6 and Konqueror (both KHTML and WebKit mode)
in both the minified and the source version.  I've used the latest
version of yuicompressor (2.4.6 instead of 2.4.2), but that should not
make a difference.  Proper patch attached.