Me, no.
Michael Burry placed a big short on some stocks just recently.
https://www.thestreet.com/investing/the-big-short-michael-burry-makes-big-bet-against-the-market
He was the dude that was the first to short housing in 2008.
(Christian Bale in The Big Short)
Buffet went into housing developers.
Not sure why.
I just sold my stake in $MAR. today.
Gonna ride cash for a time.