The wiki is (temporarily) down, as per Andrew's request. Hopefully it will return soon. -- Pat Gunn Research/Systems Programmer, Auton Group, CMU