HomeTechnicalthunderbird: how to delete tags that you don’t need