[traeregan]

Perhaps. There were an odd couple of "likes" made by the SEC X account during the same time period though (they've since been "unliked"), and Chair Genlser + a follow up post by @SECGov both specifically say that the account was compromised.