Hello guys, I installed and then removed Sensei and the Sunnyvalley repository (the plugin is interesting, but alas too resource-intensive).
After the removal, however, from the "Plugin" menu the uninstalled products are marked in red and tagged as missing ... is there any way to permanently remove them without making a mess?
Thanks in advance!
Autosolved!
There was an option in the plugin page to accept the current state, dismiss the red flag and remove the missing plugins.