I clicked on the big Download button and selected "all records", it downloaded over 3.5GB before I gave up... which file exactly should I use??
Alternatively, the exact file I used for the post is available for one week here with MD5 sum 3c33c3c4c2610f650c779291668450c9 [2]. Anyone who wants the file is free to reach out to me directly (email is on site).
[1] https://www.ncbi.nlm.nih.gov/labs/virus/vssi/#/virus?SeqType...