re: #364 Gus 802

It wouldn’t be hard to squeeze in 250,000 documents on a 32 GB USB flash card.

Yep. As storage gets larger and networks get faster, such things can be done in a matter of a couple of seconds, almost regardless of the number of files or their size.