These videos were just released yesterday from the Stanford archives in honor of Prof Knuth's 81st birthday so there may not be higher resolution versions avail

These videos were just released yesterday from the Stanford archives in honor of Prof Knuth's 81st birthday so there may not be higher resolution versions available. Maybe this is a subtle call to some aspiring hacker to re-res them with a super-resolution deep learning algorithm. What a cool gift to the world that would be.