table2csv.js

var d = [];
var table = document.querySelector('table'); // make this selector more specific!
d.push([...table.querySelectorAll('thead>tr>th')].map(x=>x.innerText));
table.querySelectorAll('tbody>tr').forEach(r=>d.push([...r.querySelectorAll('td')].map(x=>x.innerText)));
var s = d.map(r=>r.map(JSON.stringify).join(',')).join('\n');
// copy(s); // copy to clipboard
window.open("data:text/csv;charset=utf-8,%EF%BB%BF"+encodeURI(s)); // download as CSV