(In reply to Graham Gordon from comment #14)
> (In reply to Giorgio Maone from comment #10)
> > So, if I understand it right, the downloaded file is kept in the profile
> > (comment 7).
>
> Yes, I noticed that the new .xpi file was in the profile (in the extensions
> directory), yet wasn't installed and also missing in about:addons after the
> browser update and restart.
That is a strange thing and it has the weird side effect that if the user installs a different add-on then NoScript would suddenly be detected and installed again.
(In reply to Graham Gordon from comment #14)
> (In reply to Giorgio Maone from comment #10)
> > So, if I understand it right, the downloaded file is kept in the profile
> > (comment 7).
>
> Yes, I noticed that the new .xpi file was in the profile (in the extensions
> directory), yet wasn't installed and also missing in about:addons after the
> browser update and restart.
That is a strange thing and it has the weird side effect that if the user installs a different add-on then NoScript would suddenly be detected and installed again.