ops.html: IRC Nicks -> Alt Nicks