To anyone who's interested, I used kdenlive to make it video, audacity to make audio, and gimp to make image. All done on my Arch Linux rig, btw. Obviously PeerTube probably already compressed this...