Hi list I've registered the #edubuntu channel on irc.freenode.net. Feel free to join. Development discussions on IRC will take place on the #ubuntu-devel channel. Any questions, do not hesitate to e-mail me. -Jonathan