Thread:BertH/@comment-34208973-20180401125527/@comment-5275700-20180403154507

There is probably a program on your computer that can do that for you, it's true. There are also free tools online that can do it for you. I found http://www.picresize.com/ from a quick Google search, though I have never used it myself.