Bit clickbait. tldr: ffmpeg used it in their github actions, which pulls from gmp. They also use 100 builds to do simultaneous testing. Forks also run the actions, and it all pounds the gmp servers.