a kind of hacky CSV export, but maybe the simplest way given current browser limitations