Erroneous push to master branch
An erroneous push to the master branch has created some issues as it can't be undone due to an issue with GitLab.
The branch should be deleted and, as development advances, a stable version should be pushed eventually.