Manpages of src:stellarium in Debian stretch-backports