I mean ffmpeg, GStreamer etc also provide the encoders and decoders. That doesn’t make it legal. I think they’re all (including VLC) threatened by software patents. But you’re right. There are differences between the EU and other jurisdictions.