Manpages of s3dosm in Debian testing