Manpages of zeroc-icegridgui in Debian testing