We had a very similar crypto journey... 😃 I didn't mine my first BTC, but I bought it in 2013... Unfortunately, I sold it after a few months, when I experienced the first bear... Left the space, and came back in Spring 2017, mining ETH with over 20 GPUs... Those were probably the best days ever... 😃
The rest of the steps, I did almost exactly like you... HODLed most of the time, and didn't take profits at all... Learned my lesson, and last year, I began gradually to take some profits... No chasing the top, no listening to the noise... Just executing the plan...

I kind of agree with you that many things are already priced in, and we do have more space to go up, but not sure that we will see some huge pumps... especially for altcoins... BTC could continue to go up, but we will see what will others do... Personally, I'm okay as it is... Much better positioned today, than I was 4 years ago... 😉

Thanks for sharing your thoughts!