Those of you who cashed out a decent sum when Bitcoin jumped (like winter 2017) do you wish you hodl'd?

The 2017 run up was a while ago, but it was a time that many people saw major profits very quickly. I'm wondering about those who took gains at $5k or $10k or $20k peak now that we are in a new phase of Bitcoin's arc.