Materials for the Vagrant Up! course