GitLab

Fixup for f49e3f1e.

It appears that many servers are incredibly slow, so the value was
misreported and more are online than previously estimated.