Rename Multiple Columns

Two more columns in our marathon results need clearer names: finish_time becomes time and dnf becomes did_not_finish. Both in one call.
Python
Setting up Python environment...
Output