GitLab

(I also fixed docs in different commit to
fix pointer to examples in installed location instead of source tree.)

Okayed ("seems ok") via jabber.