Seeing that the German is no longer listed among the Writing Aids, I wanted to install the relative extension.
I downloaded it and tried to install it.
During the installation, I was told that this extension was an update of an extension already present. I was then asked if I wanted to replace the old one with the new one.
Said ok, but then came the message saying that the extension I wanted to replace didn’t exist.
Now: in the extension manager the old extension is given as installed. When I try to remove it, the e. manager cannot do it, because the relative file doesn’t exist.
Summing up: I cannot install the extension I need; since it thinks that an older version is there, the updated version should replace this older version. But the older version is not there - hence it cannot replace it.
The problem is that the older version actually has disappeared, but the Extension Manager thinks that it is still there.
How to get out of this imbroglio?