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.