10:42:00raltFor what it's worth, I've seen some complaints about the sbcl.org website, and I work at a hosting platform that would gladly host it for free, if y'all feel like switching. (There are some minimal conditions, though, which we can hash out in PMs.)
10:45:34luispfdietz: right, but that's not very convenient for drive-by debugging
10:48:20luisralt: I /think/ the main issue with sbcl.org is that the domain owner forgets to renew it from time to time