It's probably coincidence. Perhaps someone here did inform them, but that's speculation, and weirder than coincidence in my opinion.
Discovery is a large gaming community. Anything with the word "Discovery" in Google occasionally brings up topics from here, so I'd link this whole thing to coincidence over a "rat".