I want to change the column labels of a Polars DataFrame from ['#a', '#b', '#c', '#d'] to ['a', 'b', 'c', 'd'] Continue reading...