**compressed** json. Otherwise the file is huge.
Compress each record, or download as zip? Or something else?
Please Login to reply.
The entire thing at once. You want to reduce duplicates (event ids, pubkeys, tag names, etc)
Makes sense, any suggestions about compression type? zip? gzip? brotli?
I always do brotli on JSONs.
