GitLab

This commit removes most of its contents: it just leaves the
contribution signature. The rest is obsolete and superseeded
by #5460, but the contribution is still valuable.

Related: #4263.
Signed-off-by: Marc Cornellà <marc.cornella@live.com>