Yes they do. If you don't like to use RPMfusion you could use something like the mpv flatpak from flathub that has all codecs bundled.