Is the channel #tron at irc.zork.net related to UFO? Is it the chat channel serving some multi-player game? (Yes, I have been in a cave).