Hi! I'm the other Oragono maintainer. I'm potentially open to adding a colon here, but I have some questions:
1. My understanding of the RFCs is that in the descriptions of 353 RPL_NAMREPLY as a command response (RFC1459 section 6.2 and RFC2812 section 5.1), the colon appears merely to illustrate what typical output would look like, and shouldn't be taken as an exception to the grammar defining a valid message (section 2.3 in both RFCs), which states that the colon is optional unless the final parameter contains a space or starts with a colon.
2. Do you remember the nature of the legacy ircd behavior that motivated the mirc behavior here? It seems to me that even if some ircds were sending an additional parameter here, it would be correct to take the final parameter (according to the section 2.3 grammar) and treat it as the nicklist.
Anyway, thanks for your time, sorry to get all pedantic on you :-)