Ironically, by the time Spanner became generally available, Google had largely lost their appetite for launching new products.