Feature Request: Add Export to... button to Table Editor

[jbridgy]

The Table Editor of MM v3.2.5 already has a Load from... button. However, the inverse function Export to... is missing unfortunately.
Sometimes it would be helpful to export the current table to a CSV, JSON or HTML file in order to process it with an external program such as LibreOffice Calc or Excel, and finally load the table back with the Load from... button.

EXAMPLE:
After export you could easily apply the versatile Sort function of LibreOffice Calc to sort the whole table, unlike the Sort Column... function of MM's Table Editor which only sorts the current column, generally resulting in an invalid table.