Documentation migration to gitlab.com