pipelines: Diomidis Spinellis blog: Was Knuth Really Framed by Jon Bentley?