It's way, way past time that we should figure this out. The drivers are fundamentally the same, but having three different builds with two different flavours on two different platforms is doing us absolutely no favours. I just tried to flash Pico 2 W Galactic instead of Pico W Galactic.
Obvious downside to this is that there's no way to tell the boards apart at runtime.... or is there?