Agreed on your major points.

That being said: > I hate finding CSVs that other data scientists have created from pandas, because they invariably include the index ...

This is also default in R, with row numbers (like I have ever needed them). To be fair, it's gotten better since people stopped putting important information in rownames.

Polars looks interesting, thanks for the recommendation!