Google Pixel has these too, but it calls them Motion Photos. They are formatted as a JPEG with an MP4 appended to it. Kind of a weird format but nice to know that you can recover the video from any motion photo with a clever dd invocation.

Here's my script for the curious:

    #!/bin/bash
    #extract mp4 files from Google Pixel 6 .MP.jpg files
    set -e -u -o pipefail

    extract () {
      dd if="$1" of="$1.mp4" bs=$[$( strings -td "$1" | grep ftypisom | head -n1 | cut -d' ' -f1 ) - 4] skip=1
    }

    for fn in "$@"; do
      extract $fn
    done