https://macg.recmg.com/tech/blogs/software/how-to-change-default-video-player-mac/