Removed: obsolete .del_list