Adding SSO after many users already signed up -- how to migrate them?

Thank you very much Richard! You saved me SO much time having to implement it in userland PHP!