Linted change_heading_level.py