Manpages of gnuastro in Debian testing