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.
On Thursday, 7th July from 1 to 3 pm there will be a maintenance with a short downtime of GitLab.
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.