Former links to gitlab removed from the documentation