Manpages of stetl in Debian stretch-backports