Manpages of gtkwave in Debian unstable