Just FYI, there was some web server maintenance recently that resulted in some excessive unforeseen downtime. A side-effect seems to be that the MySQL daemon that is the backend for the wiki did not start up properly. It's being looked into. -- -Brian