I would rather it have a $serverip component with comma separated values and work with variables and identifiers just like the channel part of the event. $network and $server are sorta bogus identifiers since they can be set to anything the server wants. I wrote my script to check $serverip before it auto-idents to NickServ. But I think its a little late in the day for mIRC to go adding any of these features.
