An other positive report

The extension was not running, so I had to delete:

• the extensions.rfd file
• the directory /extensions
• the extensions.cache file

all under the .mozilla/ directory

after that everything has been working perfectly!

Thanks