The Crux web page has moved to http://crux.ms.