What happened to Patch Linden ? Has he left Linden Lab ?