GitLab

Fixes #1740 (closed)

The system checkup output is incomplete, and can be misleading, so we can probably drop it.