Insider information that is publicly disclosed is by definition no longer "insider information".
Indeed, if this had been an equity, it would have been illegal for him to trade the equity without disclosing the insider information prior to the trade.
Indeed, if this had been an equity, it would have been illegal for him to trade the equity without disclosing the insider information prior to the trade.