Manpages of libppix-editortools-perl in Debian wheezy