GitLab

This is a modified version of !48 (closed), since traction seems to have been lost there, and I can’t work out how to push my changes to that branch to update the existing MR.