While this feature is not available natively you can do like I did last week from this answer in SO.
You can use
hot.getData() if you don't want the headers) to collect all data in a JSON object and then use the function
JSONToCSVConverter() from the JSFiddle provided in that answer.
It worked for me, good luck!