From: Daniel James (daniel_james_at_[hidden])
Date: 2008-04-09 12:47:08
On 09/04/2008, Vladimir Prus <ghost_at_[hidden]> wrote:
>
> Well, indeed. I really think it should be added to the navigation bar too.
I agree, the navigation bar could do with a little work. I'll post
something about that to the documentation list soon.
> Question 2 still stands :-)
The answer's no, the same for all documentation included in the distribution.
Daniel