Newpipe is the first video player I've found which has a trim-silence feature. I use the similar feature for (audio) podcasts all the time and according to pocketcasts, it saves me huge amounts of time. I've enjoyed having it for videos too.