Full threaddr_rezzy·Why did mongodb drop 30 docs from its index? Did PG drop any? Does this not matter?View on HN