Manpages of tinymux in Debian unstable