I use PyBadges in my classroom, along with the at first sight totally similar Kitronik Arcade. I was actually thinking these Microsoft MakeCode gadgets were all the same hardware, but apparently they aren't. Differences are mostly pin-out differences.
The bugger thing is that we can't compile in the Arduino IDE for the Kitronik ones as we can for the PyBadges. Would be great if you could contact these Brits and work something out together so the Kitronik Arcada might be added to your SAMD51 board definitions.