I was not aware of that. That's a fun fact that I did not expect to learn today.

		tombert on March 18, 2024 \| parent \| context \| favorite \| on: Don Knuth letter about libraries increasingly unab... I was not aware of that. That's a fun fact that I did not expect to learn today.