Just to say that if there is some dire need to detokenize a particular script, feel free to contact me directly.

Note that there is no way to detokenize password protected scripts if you have forgotten the password... Well, hypnotherapy, maybe.

Ruud