Manpages of doxygen-gui in Debian experimental