Comment by jedberg

Maybe, but the main lament is that some great IP is lost (ZFS, etc.)

If Google had bought them for the IP, then at least that IP would live on, which is what everyone really wants.