Sí, sería un poco más complicado hacerlo de esa manera. Pero si tienes una lista corta, puedes exportar los resultados del explorador como un CSV, abrirlo en el bloc de notas y copiar y pegar los nombres de usuario en el cuadro Añadir usuarios:
Es posible que puedas hacerlo con 250 a la vez, aunque no lo he intentado con tantos. Sin embargo, un puñado de lotes debería ser suficiente si no.
También debería ser posible a través de la API utilizando una solicitud PUT al punto final, por ejemplo, /groups/49/members.json (necesitarás tu propio group_id) con una lista de tus nombres de usuario/correos electrónicos.

