Comment by rsstack

> HP has some enterprise division that makes stuff I'll never see and

It's a separate company now: HPE "Hewlett Packard Enterprise". He mentions them in the blog post, but if you don't know that in 2015 HP split into two companies, you might not realize. He holds stocks in both companies, HP and HPE (in 2015, it was the same number, but since then there were some splits).