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.