procedure to download a video file

As far as I concerned, you are not a coder and cannot solve this. What you need might be a simpler tool——online ones or Apps that can be used easily. You can try these——some of them are found by google and some are well-known tools which I've used for a few times:

Online tools:

• Keep.vid Tried. Trustful and no advertisement. The interface is nice and smooth.
• Smallseotools Well known online downloader. It's like a multiple tool package which offer many other functions.
• QDownloader No advertisement. Add "io" to the url you want, and it will do the job. Quite nice.

Most online tools have file size limit. 50-100MB usually due to their server resources——large videos takes a lot.

Apps for downloading:

• VideosCat Video Downloader Smooth and multifunctional. Can also be used for screen recording, file transfering and video conversion.
• Freemake

         The interface is old and requires for donation. The design of interface and site are not so good-               looking. Even so, it does the work pretty well.

• 4kdownloader Haven't try this yet. Still you can have a go.

You can check them out. Let me know if them works :)

Will a screen recorder for Mac be helpful? I think compared with a video downloader that supports URL converting, screen recording is more reliable and powerful. I often use a screen recorder tool to record online movies in 1080p at 60 FPS.