Hallo Albert!
Ich finde das eine gute Idee und habe einen Commit erstellt, der die external_id des Benutzers hinzufügt, falls SSO aktiviert ist.
Hoffentlich hilft das weiter! Es wird beim nächsten Deployment auf deiner Seite hinzugefügt, was irgendwo diese Woche stattfinden sollte.