NRAO staff can now use "Openid Connect" to log in to GitLab via Microsoft
and a bit of execution-finding revision.