The Big Nerd Idea docs have moved to https://bignerdidea.org/.