If the video is playing on a page but there is no download button, you can right-click the page, select Inspect , go to the Network tab, and filter by "Media" or "video". Refresh the page and play the video; the direct .mp4 link should appear, allowing you to right-click and "Open in new tab" to save it.
You can use tools like the Video Downloader Professional extension on Chrome. Once installed, it will detect any video files (like your .mp4) running on a webpage and provide a direct download link. Safety Warning
Go back to the original blog post where you saw the name. Look for a Download button, a hyperlinked version of the filename, or a Google Drive link.