Maybe I didn't find the best conversions, but the only ones I found with decent image quality were the MPEG1's from archive.org . Note also that in VLC I found

Maybe I didn't find the best conversions, but the only ones I found with decent image quality were the MPEG1's from archive.org . Note also that in VLC I found I had to force-set the proper aspect ratio when viewing them.