Has Google wasted $12bn on a dud patent poker-chip?