Should we add the Github mirror of the OEIS as a possible data source?

[gwhitney]

Note that the OEIS replicates all of its data at https://github.com/oeis/oeisdata. This might provide a more robust source for OEIS data than the OEIS servers themselves.

If we want to go this route, note that the data is stored in something called git LFS, so we would have to figure out how to navigate that. A possibly useful guide to doing so is at https://stackoverflow.com/questions/58219778/how-to-get-a-direct-link-to-a-file-in-github-lfs-large-file-storage

[gwhitney]

Note that with the advent of the github clone (it is less than a year old), OEIS has reduced its offerings of sequence content as large downloadable files. Now there is only one giving the first 50-70 terms of each sequence, and another one giving the name of each sequence. Neither of these provides backreferences, for example, so if we want those we will have to get them from the OEIS server itself or the github clone, so far as I can see.