I sold and will not get back in until 1 year after the November election.
What little, and I mean very little money I had in something like a 401(k) I had to cash out and pay the fines come tax time. Years ago.
The very small amount I had left, I moved to bonds at 12,000 - it hit nearly 14,000 as I recall but that was before the 6,2xx thingy not all that long after that.
When I sold the first (the part I had to take the penalty for) the broker said “Well, you’re one of very few I can say actually made money”.
I think you made the right decision.