While these filenames are common on third-party sites, always be cautious of "executable" files (.exe) disguised as video files. A legitimate video file should end in or .mp4 .
For most viewers, WEB-DL in 1080p is perfect. The visual difference is minimal unless you are watching on a massive projector screen.