¿Puedo compartir una Foto en Movimiento en Vivo como un video?

¡Encontré una manera mientras publicaba la pregunta! :-) Tal vez haya formas más fáciles, así que lo dejo para que los demás lo encuentren y/o comenten, pero:

En el mismo panel de detalles de la foto donde encontré "Disparos en esta foto" (misma pantalla que te muestra otras cosas como la geolocalización y detalles del objetivo y tamaño del archivo...) hay una opción de exportar. Para mí, esta pantalla se puede acceder a través de los tres puntos o deslizando hacia arriba.

De todas formas, en la parte superior de este panel deslizable de detalles hay un área de desplazamiento lateral con un montón de botones. Los míos son "Mover a carpeta" / "Copiar a carpeta" / "Eliminar del dispositivo" / "Exportar" / etc. ¡y es este botón de Exportar el que funciona! Tiene tres opciones, para exportar como:

• Vídeo
• GIF
• Foto fija

y una opción de si "Mantener estabilización" que puedes usar con las opciones de vídeo y (GIF animado). Cuando exportas, se crea una copia de la foto en vivo/movimiento pero ahora como un vídeo completo en tu carrete de la cámara. Y por supuesto, luego puedes compartir ese archivo de vídeo exportado como quieras, como un vídeo.