Fixed a server configuration problem on CRUCS. If you were affected by the about 1 minute of downtime as I fumbled about with that, sorry, everything should be back in working order now.

https://crucs.net/