The new Hackage server aka "Hackage 2"