Maintenance operation of our GitLab server is scheduled for Thursday, October 3rd at 2PM. The server will be unavailable for about 2 hours.
X2; S1/noS1 clean up effort; typo fixes