This Windows related problem is now solved.

No reinstallation of the extension is required - but some visited pages in the extension may need reloading (right click the extension window and "reload").