This neat little prototype script is able to export a regular HTML table as CSV an offers it for download: https://github.com/dstuecken/exportTableAsCSV