I wanted to increase the size of the original videos, but it didn't work out. Any increase or decrease in size caused the game to crash, and the audio track could be removed. They use prehistoric Theora and Vorbis codecs, apparently modern codec editing breaks everything. Stretching the VideoPlayer screen doesn't help either; the videos are too small.
I managed to do it this way.