Update IRC nicks in ops.html