FFmpeg 7.1 release: a tons of codecs

Link: https://jbkempf.com/blog/2024/ffmpeg-7.1.0/
Discussion: https://news.ycombinator.com/item?id=41695025