Loading annotation for dabeaz-course.github.io