Добавление кнопки экспорта всех пользователей и групп в разных форматах

Есть предложение по добавлению кнопки экспорта пользователей и групп, предлагающую выгрузку в разных форматах:
1) .csv
2) .xlsx
3) .pdf

Достаточно хотя бы одной из опций (например, .csv)

Это может пригодится на случай, если необходимо полностью переделать интеграцию (например, переехать с OpenID на другой OpenID или с OpenID на AD), но сохранить информацию о том, у кого какой доступ был и в каких группах находился.

Сейчас удаление интеграции приводит к потере всех действующих пользователей (а значит, и членства в группах)