A video editor for Professional Rocket League Players