various small proposed changes
This contains a set of small, mostly cosmetic, changes.
In a few places I have put FIXMEs, so this should not be directly merged, but rather adjusted before, depending on what the answer to the FIXME is.
The old module-image for the shared runners will be discontinued on October 31. All users still referencing gitlab-registry.mpcdf.mpg.de/mpcdf/module-image in their CI pipelines need to switch to the new CI images now, see instructions here.
This contains a set of small, mostly cosmetic, changes.
In a few places I have put FIXMEs, so this should not be directly merged, but rather adjusted before, depending on what the answer to the FIXME is.