source for the Open Source at Princeton website - opensourceatprinceton.github.io