> In every TPCH query we ran, polars is orders of magnitudes faster than pandas. I have no doubts that polars is faster than pandas. But the published TPCH res

> In every TPCH query we ran, polars is orders of magnitudes faster than pandas. I have no doubts that polars is faster than pandas. But the published TPCH results [0] are fairly outdated based on polars-0.13.51 while the current polars is 0.15.13. Are there any plans to refresh the benchmarks? [0] https://www.pola.rs/benchmarks.html https://www.pola.rs/benchmarks.html