As a clarification, is your students' work available under the GPL? Under some other license? Good to see these contributions!