I tried to delete all user config files, so i moved ~/.mozilla to ~/.mozilla-backup but then the extensions were gone.
So i moved it back and they are still not there.
How will i get them back?
And just for completeness, the microB settings are in ~/.mozilla/microb - renaming/deleting that directory will reset the user settings without affecting the extensions, etc.