The trouble with option three is that the only was to stay at this salary level is to stay in the world of big tech companies, and 90% of my unhappiness is because I'm at a huge company.
I'd love it if I could find a 20-person startup that could match my current salary, but that's just not very likely.