Ironically their GitHub profile links to their monkeytype profile. But really, they just need to learn some basic ffmpeg...