This page has moved to https://gabeu.github.io/Teaching.html.