Some backstory. In the 80s, U of Nottingham decided to set up their own printing shop. They purchased the same type of typesetter Bell labs had. They got a PDP-11 to drive it, and contacted the lab for support. Brian Kernigman would regularly vacation in the UK, and often make a stop to visit the Nottingham faculty.