If possible, I'd like to migrate these materials to a separate repo all together. We could consider hosting the repo in another project on Github itself.