Edit of update GitLab docs
Followup to: !4291 (merged).
Just does some polishing and minor fixes. In particular, keep the "manual install" steps in a single place.
Edited by Evan Read
Followup to: !4291 (merged).
Just does some polishing and minor fixes. In particular, keep the "manual install" steps in a single place.