A user here suggested I make shrinking files a feature for my file converter app. Now it can make video files 20x smaller!