The new website is at www.minicp.org.