On Wed, Apr 3, 2013 at 10:32 PM, Andrew Dunstan <andrew(at)dunslane(dot)net> wrote:
> I have a patch for this and other docs errors waiting in the wings. I will> commit it when the current hiatus is done, some time tomorrow.>OK thanks.-- Michael