Today I received some points at FreeHAL, does that means that FreeHAL is back?

I was on this page http://freehal.github.io/ but the url supplied for BOINC http://www.freehal.net/freehal_at_home/. isnt recognized.

Maybe some of you know something more about FreeHAL.