>Using automated tools to search the whole database, as security researchers subsequently did, turned up no hits. This sounds so serious and involved, but prob

>Using automated tools to search the whole database, as security researchers subsequently did, turned up no hits. This sounds so serious and involved, but probably took 10 seconds and just involved ctrl-f or (even) grep.