@icecolbeveridge it's worse: it isn't even my TeX! I'm cleaning up someone's course notes to go on the web