It looks like the patch to debian/postrm as well as the manpage fix didn't make it to the Debian version yet. I'll ask Matthias.
It looks like the patch to debian/postrm as well as the manpage fix didn't make it to the Debian version yet. I'll ask Matthias.