CAFE mocha has a new home: http://cafe.psi.ch/mocha.html