Update IRC chan name in NOOBS slides