I've been using this guy's one for years. It's called stretch video
https://gist.github.com/arpruss/74abc1bc95ae08e543b9b74f15a23b07
It's not often I have to use it but if you ever watch something online where the uploader has messed up the aspect ratio you can just fix it just like that, no need to download and reencode or anything I love it.