This is a good argument for the "they made a semantic mistake" side. I hope it's true.

Do we end up with Bitcoin can be censorship resistant money as long as we don't brag about it?

When I next have a couple hours, I wonder how easy it would be to compare the btc addresses on the ofac list with recent blocks. How many sanctioned addresses have made it into blocks in the last 365 days?

(I guess it's possible that none of the owners of those sanctioned addresses have wanted to move their btc, but surely some have...)