I would like the tags I have added to contacts to be in the CSV (or JSON) export.