NRAO staff can now use "Openid Connect" to log in to GitLab via Microsoft
Single-impl StateIF and TransitionIF have been refactored out.