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

Those are basically your options, yes.