I can see this being useful to the average user who is encouraged to download "video.mp4" from Popular-File-Upload-Site, but thanks to a dark pattern on the web

I can see this being useful to the average user who is encouraged to download "video.mp4" from Popular-File-Upload-Site, but thanks to a dark pattern on the website, is presented with a "video.exe" download instead.