Is there a place to chat to other users through the terminal? Like IRC or something? I noticed there are some messages in the common area, but it’s a bit of a mess and doesn’t seem to be any rules set.