Rename mongodb_index.json to mongodb_vector_index.json 3d195ed verified bstraehle commited on Jul 29, 2024