You're quite right. That mistake has been corrected (the archive now ends in .tar.gz). Thanks for pointing it out!
