I have selected in the Xiaomi Mail App V13_ the setting that all addresses are added to the contacts. Now after a few years I have a very long list of irrelevant contacts (eg 20 x aliexpress). I have these contacts only in the mail app, but I can no longer delete them there, only edit them. How do I delete an entry? Do I have to delete all data and then set up mail again and do without the automatic in the future?