I'm saying you should not use numeric values for explicit timer names because there is a very high chance that you can overwrite an auto-generated timer name. Especially for values under 10. This seems pretty clear to me. I'm not sure why any sane person would argue against this statement.
Your point that "you should never assume the name isn't in use" is a little unrealistic. It's fairly reasonable for a scripter to assume "MYSCRIPT.MYTIMERNAME" would be unique to "MYSCRIPT" and unlikely to be used by anything else in mIRC. Heck, it's reasonable to even assume /timerRANDOMTIMER would be unused. It might not be guaranteed, but we're not discussing theoretics here. Using a name like "9" is far more likely to be in use than "SOMENAME", no matter what the name is, simply because mIRC auto-generates these timers. A few days in a STATS 101 class would teach you the practical differences between the above two names. It's not "the same", not in real world scenarios.
But you're right-- all of this is irrelevant. The above snippet uses a poorly named timer-- someone should have stated this. RusselB did, and he was right in doing so. Don't defend poor scripting practices. End of story.
