Re: #8577: Additional features manual

[Pavel Sanda]

John R. Hudson wrote:
> If there is no way of doing this, then, when I have time, I could go

Ouch, how long did it take to produce the new version of the manual?
One way is to get #6889 fixed, but no one except Vincent knows this
code ATM.

Pavel