Could user ID be added to the information that is shown about users at Settings > Users?
Though one's own ID is readily exposed at current_user.id, Admins currently don't have a way to discern user IDs. Settings > Users > User details seems like a natural place for this, and of course also in the "Download as csv" export.
Our need for this is kind of an edge case (migrating data and connecting it to users), however I imagine there are other scenarios where access to IDs could be useful.
(For context, we're on Business/Cloud)
Thanks!