Ignore command works with serial, not with nickname. So the player would still be ignored when changing nicks. Since IRC does not work with serials, it can't know what to ignore. Interchat ignore won't be a problem when the servers merge. To be honest, /ignore helps you ignore players, sure they can still hop in IRC to talk, but you got to have some self-control aswell. No problem then. I dont see the /ignore being mrgreen wide happening.