I can confirm that this is exactly the issue I've encountered ... alongside with the solution I found on my own.
Am 03.05.2023 um 13:40 schrieb Jean Abou Samra:
Le dimanche 30 avril 2023 à 23:46 +0200, Stephan Schöll a écrit :So to me it seems that the uninstaller doesn't do a clean job.I wasn't aware of it, but it looks like this is a known problem. https://github.com/frescobaldi/frescobaldi/issues/1252
