Symbol: edit_tagfile