Hi
The only way to export these infos is to use APIs and then you can export them into any format you want.
From GUI, you don't have a csv export button.
Thanks
Francesco
PS: Please don't forget to rate and select as validated answer if this answered your question