@YemonChoi To say something more useful than just hello, I'll mention that if you wanted
Category theory and Banach spaces to be unfrozen, this is one of places where you could find a moderator to do that. But I assume that the room was not intended as something for long term, just for a one-off discussion in case somebody joins in.