I'd argue it's a good idea to consider one's current job-industry as an aspect of diversification even without having large RSUs/stocks/options.
Better to have either a market downturn you can ride out while working, or chronic unemployment while your investments are strong, instead of the double-whammy of long-term unemployment and a big portfolio downturn at the same time.