The hole punch is, of course, a two-hole punch for preparing unpunched paper to be put in two-ring binders (which are more common in the UK than the three-ring type common in the US). Jack’s generation expect to take their university lecture notes on laptops and download the “handouts” from a web server.
Thumbs up for If You’re Feeling Sinister and Bandwagonesque, though.