On 07/16/2013 01:09 PM, Sven Barth wrote: > > but otherwise a JS command line interpreter is sufficient. > That was what I tried to ask. I never heard of any "JS command line interpreter". Is there one provided by Mozilla ? -Michael