GitLab

They are not used anywere, and do not seem to become useful anymore in
the light of the new separation of document and view.