This is a non-issue.

The HTML is not copyrighted.  It is just "printer's layout" to use Jim's phrase.

The content is public domain, so the "container" is as well.

Josh

On Dec 11, 2010, Carlo Traverso <traverso@posso.dm.unipi.it> wrote: