Yes.
But how did it become public that he sold stock?
Some journo source likely came across Burr’s filed S-4 in the SEC database. Easy enough to do if you know where his holdings are.