Der Export ist auf der Admin-Seite verfügbar (Admin > Benutzer) hier @snehbaxi (weitere Informationen: Exporting users to a CSV file)
Ich erinnere mich nicht, dass es auf der öffentlichen Benutzerseite war, aber Admin scheint der richtige Ort dafür zu sein.