In January 2023 the server was permanently shutdown.

This is a read-only archive of the web sites that were being hosted on the crab server as of January 2023.
Please note that archived crab sites using CGI-BIN will no longer function, as user CGI is not supported on the current web host.