How is user_id generated with google-oauth2?

That page didn’t quite answer my question, so I submitted a pull request to improve that page.