Many people are waiting for the market recovery to sell their coins but I bet you,as soon as market recovers ,they will feel reluctant to sell.
I would totally sell all my coins if they reach all time high prices. If it does not reach to all time high prices than I would probably hold them even if we are in a bull market. Bull is only showing is its going up but it is not showing how much it can reach. So for example I will not sell my bitcoins until they are 20k+ or at least if I need them. If I need the money than I will sell it before but if not I will wait until 25k or so levels.
I guess many people here will not agree with me on selling at new ATH as they would be expecting some big levels like $40k or $50k. I guess for those levels, we must wait for years hence selling at known peaks must be a good option in my opinion.