> (N.B. the Replicad studio code editor on that site seems to be broken today, which is a bummer -- it wasn't when I last checked)

And appears now to be fixed.