Yeah, not exactly sure this is newsworthy. He's not even reporting a bug, just responding to one.

Keep being alive Dr. Knuth.