I actually had a scripted noop alias on 6.16, it's not so unlikely at all as you may think to have one.

Since you think no sane user is going to override /noop, then surely you won't mind losing this little bit of flexibility of being unable to override this one specific command, right? I mean it is clear you won't be overriding it, so why would it matter to you anyway? smile

Those who do use it extensively in public code will benefit from it, which is after all the reason for my post.