> Chief microcontroller rival Adafruit

They are PCB brands. The microcontrollers are made by the usual manufacturers like ST, Renesas, Infineon...

I agree the writing is imprecise.

But of course Arduino historically also didn't make the Atmel or Pico chips, so I can sort of see what they were going for.

The writing is precise. Just inaccurate.