The usage is not the big deal here as the point of handle any mIRC option via an main head identifier as $options(N/Name) you suggested, and the 'mIRC ini Unleashed' is a bit outdated anyway.