irc_agenda.pdf