Question: How to treat the first line of a file differently in Python?