Manpages of wtdbg2 in Debian testing