Comment by open_erv2

The file limit sizes on github are a problem, there is some workaround but I haven't gotten around to dealing with it yet.