Domain name switch?

Did Bubble really just switch from bubble.is to bubble.io without making it redirect properly?

Everything seems to be working for me, although as explained here, there might be an unanticipated hiccup or two.