I don't feel the parent post is about bad envy. There is also good envy, when you feel happy for someone's blessings. But you also would like to have it for yourself.
Nah this is definitely bad type of envy you can look at the full discussion and additional comments from the user.
Or you can just be excited that $400k is getting dumped into Zig, and without onerous strings attached. That's an unmitigated good thing.
I don't feel a need to know too much about the particulars of mitchellh's life or what else he spends his money on.