The MP4 video files from HEIC files should be removed from all my photos for archiving:
Bash
find . -type f -name "*.HEIC" | while read -r f;do [ -e "${f%.HEIC}.MP4" ] && rm "${f%.HEIC}.MP4";done