Per Mitchell Baker's comment in bug 43076, `JavaScript' is a trademark of Sun Microsystems, and all references to `JavaScript' should be removed from Mozilla -- in the interface, and in filenames etc. Where scripts in general are meant, references to `JavaScript' can be changed to `script' or `scripts' -- this also allows for forward compatibility of interface text if Mozilla supports other script