bug
Extension for filename when downloading sources is not correct.
When downloading a source tarball the filename extension is just .gz instead of .tar.gz or .tgz.