The 2020 arxmliv release is now ready at the git LFS server. Proofreading and merging here in a bit...
