Export csv file (old version had a button)

Welcome @SETGA2023

This was discussed in this thread about a month ago.