Nit: Mozilla convention (from its [Coding Style Guide](https://developer.mozilla.org/En/Mozilla_Coding_Style_Guide) and usage in this script and elsewhere) is to put a space after comment slashes.