That wouldn't have helped at all. Marks hedge would have not worked if, say, yahoo tanked for specific reasons such as discovered fraud or something along those lines - where the rest of the tech market was unaffected.