How to filter out all links that use the horrible reddit video player.

If, like me, you'd rather not view or support any videos uploaded using the new reddit video player (v.redd.it), follow these steps in your RES settings to hide them all.