Github user Tagar commented on the issue:
https://github.com/apache/zeppelin/pull/3013
my 2 cents: 1. yes. 2,3. yes. except that `grid-ui` doesn't have native
`tsv` export, right? I thought `grid-ui` only allows to export as `csv` and as
`xlsx`, is this correct? If it is, we might just drop `tsv` export. I
personally never used it. `csv` and `xlsx` exports through `grid-ui` should be
enough. ---
