JavaScript snippets to convert a table to a CSV file (tableToCSV()), with a helper function to select a table to convert (selectTable()) by traversing and prompting each table on the page.
The bookmarklet, on click, uses the two to find the desired table to convert. Add it by creating a regular bookmark and using the provided line for the URL field.