Where is the innovation in search indexes? There’s been a lot of optimization variants, but overall it’s mostly inverted indexes and HNSW indexes.