no reason to change that, as other clients only try to connect to 8333, afaict. IRC only advertises IP, right?
No, both IP and port are encoded in the #bitcoin IRC usernames (see the EncodeAddress/DecodeAddress routines in irc.cpp).
(so mizerydearia: no need to do what you done did...)