google-ngram-downloader
google-ngram-downloader copied to clipboard
Skip download if there is an existing file of the right length.
To facilitate resumption of downloads: when there is an existing downloaded file of precisely the right length, do not bother re-downloading that file.
Addresses #15