Note that JPEGs can be rotated without decompression, just by swapping the axes of the compression cells.

Some of the software he uses may do this, others may decompress, rotate and recompress.