Fix #22: Document IrcNetwork properties