Improve the docs a bit (just editorial)

.gitlab-ci.yml not found in this commit