title: Rise4Fun.com is down. How else can I get documentation for Z3?
body: <p>I have a project that's supposed to be using Z3 but the docs are all on Rise4Fun.com which has been down since Friday. I can't find any information at all about why it is down, if it will be back up, or where other docs might be stored. Does anyone have any information?</p>