Non-TODO headlines can have priority too, so we rename todo_priority attribute to priority [RT#95947](2014-07-16)