Thanks, Cameron but unfortunately, I've hit a snag using this method as well. After creating a new insight and adding the references with a filter for specific projects and tag group, the highlights show up as transcripts and not actually highlights. This is an interesting option for sure.
Alternatively, I know I can export the highlights for each project into Excel but then when I import into Miro, I lose the tagging categorization.
I'm working with Jaycie W. on this as well.