If you are looking for an "interesting feature" related to downloading such files, several Video Downloader apps on Google Play offer the following:
: On a PC, you can use Video Downloader professional for Chrome to detect and download video files directly from web pages.
: A powerful download manager that supports background downloading, large file handling, and resuming failed downloads.
: Once downloaded, you can play the MP4 by right-clicking it in File Explorer and selecting Open with your preferred media player. How to Download from Google Drive
: The ability to auto-detect videos within a built-in browser, allowing for one-click downloads without manually copying links.
: If the file is shared via Drive, select the three-dot menu next to the file and choose Download to save it to your local storage.