I'd have to disagree with you. mIRC created the color standard that is in use today. If a client does something differently than mIRC, that client is incorrect. This "bug" has been in mIRC ever since control-codes were implemented. It's not a bug, it's just that CTRL+R overrides CTRL+K.