A few months ago a friend was asking whether I know a service to convert a gif to a video. Which was also sad.