Documentation for our lecture demonstrations