Gitlab will be upgraded to the latest version today, starting at 4:00 pm. Intermittent downtime is expected for approximately 15 minutes, work is expected to be completed by 4:30.
Fix docs + tweak misleading comment in BST See merge request !3
