WEB-DLs are downloaded, via command line, directly from the source. What you're getting is literally what the streaming service would stream to you, minus DRM, nicely packaged into an mkv file. The only time they are captured/recorded is when the 1080 and 720 sources are dogshit, so they capture a 4k stream and reencode it with the settings of their choice.