4.0

Moved to gwern.net.