Olá, Albert!
Acho que essa é uma boa ideia e criei um commit que adicionará o external_id do usuário se o SSO estiver habilitado.
Espero que isso ajude! Ele será adicionado ao seu site na próxima vez que for implantado, o que deve acontecer ainda esta semana.