20070628 tech: Google Desktop goes Linux