Decisions can only be judged in the context within which they were made.

Diversifying is a wise move for strongly mitigating downside risk.

One of the wisest and thoughtful people I know was a long-time and early employee at a major tech company. That friend did exactly the same thing, diversifying early. It is difficult to overstate how successful he has become in life; success need not be measured in dollars.