Hello. When using the #crimson-lobby IRC channel with http://webchat.freenode.net IRC client, click someone's name in the chat sequence to read the information. If real name is not specified (or you lack an account on Freenode), the "realname" line shows the IP. This is how we will find each other for playing.
Long live Jens XXIV, the Emperor of Seven Universes!