[Vote] Move official IRC presence to OFTC

[Jo-Philipp Wich]

Hi,

the OFTC network has been widely suggested as alternative in the
previous "Freenode woes" thread, so I'd like to start a vote here to
reach a formal decision in order to move forward.

Do you agree to

 - Put a short migration notice as news item on the frontpage
 - Change instances of Freenode to OFTC in the wiki/contact section
 - Post a IRC migration notice as a sticky topic to the forum
 - Post a IRC migration notice to the mailing lists (announce, adm)
 - Link to the migration news in the Freenode IRC channels topics

[ ] Yes
[ ] No


~ Jo