For batch downloads or when native buttons aren't visible, specialized tools can help: Internet Download Manager (IDM)
Browser extensions are the simplest way to download videos. They add a download button directly to your browser toolbar that activates when you play a video. 9anime mp4 downloader
A small icon usually appears near the video, offering to download it. For batch downloads or when native buttons aren't