The inference web server has just been replaced. As part of moving from a Linux to a Mac server, we are reconfiguring the web site. The new site should appear soon; please check back!