UPDATE: (Ver 1.13)
By popular demand, the videos are now in HD. Bear in mind though that the work was done on top of the original 640x448 files, so this is extra pixels only, the quality won't magically explode upwards. That said, compared side-by-sde, the 1.12 release is definitely fuzzier.
NB: I'm not going to re-upload all the Youtube videos, so they'll stay in their current resolution, unless I make further changes to them.