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.