That&#x27;s what I thought as well, but it might have been worth the effort to obfuscate it. I mean, they must&#x27;ve known it was going to leak sooner or later, leaving <i>a lot</i> of vulnerable boxes behind.