I thought this is being continued as http://xsb.sf.net ?