Did you ever report these issues to polars developers? I reported many bugs to both pandas and polars over the years and both teams tend to address relatively

Did you ever report these issues to polars developers? I reported many bugs to both pandas and polars over the years and both teams tend to address relatively big ones. (Still have some outstanding pandas bugs that I think are a big deal but the devs disagree.)