Files named in this specific format are common across several platforms and tools:
You can import this .mp4 into editors like Microsoft Clipchamp to trim, add text, or combine it with other clips. 2019 08 09 06 52 20 ScreenRecording mp4
Many Android and iOS screen recorders default to a timestamp-based filename to ensure uniqueness. Files named in this specific format are common