Channel rename: #openoffice.org to #dev.openoffice.org
Starting from today, the channel #openoffice.org where all developers
meet is now renamed to #dev.openoffice.org so the original channel is
freed for generic user support channel.
Please join us on #dev.openoffice.org!