The data repo for Educational Resource Discovery - View it on GitHub