This does not seem to be only about MakeCode. I found a MakeCode site called Maker MakeCode Editor which shows several boards more than the ones on the MakeCode site. For example, the Adafruit MO boards such as Flora and Gemma.
This becomes an issue to the newbie coder using MakeCode (me) because we now find hardware other than BrainPad and Micro:Bit and Circuit Playgound Express that seem to be programmable with MakeCode and they have on-line simulators .
So…for you at BrainPad, have you seen this GitHub Repository for Maker MakeCode where you can , I guess, identify your hardware ? I do not have enough knowledge about GitHub to search it properly; so I don’t know if you have been here to identify yourselves and your hardware, nor even if it is of interest to you. Just thought I’d let you know that I found this and it appears to apply to MakeCode hardware. https://github.com/Microsoft/pxt-maker
“We welcome pull requests” whatever that means: https://makecode.com/blog/maker/hello
If you go here and click on “New Project” here, you will see many board types not listed on the MakeCode hardware site: https://maker.makecode.com/#editor ; maybe you could get BrainPad listed too? I guess you have to click on “Home” and then on “New Project” to see the other hardware types.