It should be possible to convert jpg-large pictures to GIF format much like any other .jpg. Just rename the source .jpg-large extension to .jpg if your graphics editor/convertor needs it. Keep in mind that the resulting file will be pretty large and you loose image quality because GIF image format supports only 256 colors.
Updated: October 5, 2022