Lets not give them any ideasIf they are not already logging that information, they can easily add it in the next firmware update. It all depends on how badly Nintendo wants to stop piracy.
But you're right, it seems possible. I don't see how we'll be completely safe. But it seems that, for now, public headers are a no no.