Make texstudio behave better when removing/upgrading from older versions
NB no version bump to the package needed here; where there are machines that succesfully have the package installed already we don't want to force a no-op "upgrade" upon them
GitLab will be upgraded on 17-March-2025 between 12:00 and 14:00. There may be small periods of service instability.
NB no version bump to the package needed here; where there are machines that succesfully have the package installed already we don't want to force a no-op "upgrade" upon them