When I delete a micro-thesaurus, the list of micro-thesaurus is not updated.
Now, it requires a restart, so everything is uptodate
Now, it requires a restart, so everything is uptodate