The IRC channel is now on the freenode network. Simply connect to chat.freenode.net...
I dont know, never heard about that "extremetuxracer-extras" package before today....
I dont think that we can import phpBB posts into that "Discussion" tool :-/ Should...