As a personal note, since I’ve done it for family a few times now, here are steps one can use to create a gif from a longer video.