UI For adding user to role

So, first of all I’d like to thank you for the plugin. Saved me some time.

When adding users to roles, the “Users That Should Have This Role” multi select box. Say I select a bunch of users by holding down the Ctrl or Cmd buttons and save that role. If I come back to add one user to that role and forget to hold down Ctrl or Cmd all the other users are reverted back to full super admins on save. Have you considered using a different element than a multi-select box?

Also, are you doing development on this plugin on anything like GitHub? And, if so, would you be interested in accepting a pull request if I can come up with something worth while?

Thanks Again.

https://www.ads-software.com/extend/plugins/extended-super-admins/