For high-quality or bulk downloads, dedicated desktop software is often more stable than web-based tools.
Go to the tab and type "mp4" or "m3u8" in the filter box. Refresh the page and play the video again.
For the average user looking to save a video here and there, a browser extension is the most convenient and efficient tool. These tools integrate directly into your browser, allowing you to download the video you are watching with a single click.