The documentation is fixed upstream now, so the fix will propagate to the Debian package with the next upstream version.
Regards, Milan Zamazal -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]