Various doc fixes.

.gitlab-ci.yml not found in this commit