Hi, thanks. I guess that's it. So I should file a bug in ubuntu/debian to mend the manpage as well, do I understand it correctly? Tomas
I doubt that our debian maintainer would consider it to be a bug. Debian packages often adjust an upstream project's configuration to work better on that platform. That said, I'll point this thread out to him.