I think this might just be an unfortunate abuse of terminology. I've seen plenty of people similarly refer to the Raspberry Pi as having a "40-pin GPIO header",

I think this might just be an unfortunate abuse of terminology. I've seen plenty of people similarly refer to the Raspberry Pi as having a "40-pin GPIO header", even though only a subset of those 40 pins actually have GPIO functionality.