For Crux news please see the release notes linked from the Crux home page in
doc/user/crux.html or at http://noble.gs.washington.edu/proj/crux.
