Yes, I tried to force mirc.ini to update using /saveini but it did not recreate [local]. And thanks for mentioning the options-dialog. That explains why the [local] section reappeared after I reviewed the settings there; I hadn't made the connection.
Using $ip appears to be the best solution, but my curiosity was piqued at the non-appearance of [local].
Cheers
