Rate limits on GitLab.com are now aged 100 or older

Interesting... But I don't think formal software verification is going to be an absolute disaster.