Comment by mortos

DDG (Bing I guess?) is pretty quick at that as well. 35 minutes later, your comment is already indexed.

Though I can't speak to their speed with Reddit, who is actively hostile to non-Google indexers.