“The FFmpeg software is used by the Mars 2020 rover to compress pictures on Mars.”