How can I download a spreadsheet of the user directory?

[awesomerobot (Kris)]

Export is available from the admin page (admin > users) here @snehbaxi (more info: Export users to a CSV file)

I don’t recall it being on the public users page, but admin seems like the appropriate place for it.