Manpages of science-astronomy-dev in Debian wheezy