@mrsbeanbag Me, reading the first part of this post: “Wait, Donald Knuth is dead :O ?”