Pluto: how to change column names of a data frame?

Yep, you are right. Both DataFrames and TimeSeries export “rename!”. Thanks a lot.