You’re on linux? The odds of you getting a virus on linux are not 0 but very slim, since the userbase is very small.
Plus, viruses prey on people’s ignorance. The usual “movie file viruses” are .exe files and can only be run on windows. Most people don’t enable the option to show file extensions on windows, so a filed named “movie.mkv.exe” would show up as “movie.mkv” instead.
IMO, the odds of you accidentally running a virus by playing a .mkv file on linux are as high as the odds of you winning the lottery 3 times in a row.
It seems to be an enterprise product, meaning normal users might not have been affected. I wouldn’t personnaly be able to confirm since I usually have 1-2 month uptime on my windows machine.