What is the file naming convention for the downloaded MP4s for event
video clips downloaded from the Google Home app on Android? For example,
the event was captured 5/25/2022 about 1247 PDT and the downloaded clip,
on the smartphone, is named "164668...