NRAO staff can now use "Openid Connect" to log in to GitLab via Microsoft
undo flailings in anticipation of patched AppImage