Comment by ssprang

> Knuth accused me quite harshly (IMO) to be some kind of Stallman fan talking nonsense about licenses and did not acknowledge the bug.

Strange. Knuth appears to be a significant GNU supporter: http://www.gnu.org/thankgnus/2014supporters.html