Do NOT use this file; see https://www.cs.uwaterloo.ca/twiki/view/ISG/RestrictingWebAccessToCourse for the proper contents