Proggy_fonts is dead?

Just realized that http://www.proggyfonts.com/ is down. It's a shame since those fonts were imo the best pixel fonts ever made for programming. The website and the files are still accessible on Archive.org RIP Proggy!