I found some ancient stats from back in 2016:
Back then, LE was significantly smaller than today, I think especially with regard to large integrators. So not sure how much we should trust those graphs to be applicable today.
Maybe @pde can dust of those scripts again, 6 years later, to generate fresh stats?