Berndt Josef Wulf wrote:

> 
> There are a lot of others missing too and unless size is a consideration I 
> like to move that those missing documents are being pulled into the tree so 
> they are available with upcoming releases.

my guess is that it's not a size problem, but a maintenance issue (since 
nobody updates it, let's forget about it). in my humble opinion, this is 
is a bad approach, as I'd prefer to have old docs than to have nothing.

> The document, 00.contents, actually lists and referres to these pages in which 
> case I consider it to be a bug or at best false advertising.... ;-)

agreed, this is a bug. Now, what is the best way to get around?