Reset of Safari (File Menu: Reset Safari) with "Remove Website Data" seems to delete script list info...userscripts.org script no longer listed, has to be reinstalled. Scripts should remain alive and intact when Safari is reset with all options checked?