On Wed, 2020-01-15 at 20:37 +0100, Alf Haakon Pietruszka Lund wrote: > choose ... 'Export'! Seems like this feature is not very well discoverable, maybe we should make it so? JS