Comment by Lxr

> I fear that the most probable hypothesis is that nobody has been sufficiently motivated to check these things out carefully as yet.

For some motivation, you might still get a check from Knuth if you find an error. https://en.wikipedia.org/wiki/Knuth_reward_check