Recently my tor browser crashed and mistakenly clicked the restore option when the browser came back up only to lose all the noscript settings. A fresh copy was installed into a new folder so the old one is thankfully intact. Does anyone know what the file is that stores those options and where to find it to restore it to the prior state?