I'm betting Ninty is going on all the 3DS ISO sites and such, downloading any public headers, loading it on their database and log everyone who uses that header.
No need, they just grabbed the sky3ds template file, it's full of public headers they can use, why build their own database when one is readily available? I bet you every single card id from this template is on Nintendo's ban list.