Thanks for that! Is this the same as "Magia Record: Puella Magi Madoka Magica Side Story" - and is that a better fandom tag, or will most people know what Magia Record is on its own?

It sounds like a potential case for splitting if it's a different universe. Are the characters from the other Magica's also different/parallel versions, or are they crossing universes to appear in Magia Record like the characters do in Arrowverse?