If the devs were using unvested stock options to back a mortgage … well, they all make enough money for a single hour long consultation with a tax accountant who would have told them what a stupid idea that is. If they're paying out their mortgage from salary, well then, there's nothing particularly notable about their situation, is there?