Call marknoticedChat() for a chat that is going to be archived. It resets all fresh messages of that chat. This way the app badge counter doesn't take archived messages into account

deltachat-ios/ViewModel/ChatListViewModel.swift

@@ -184,6 +184,7 @@ class ChatListViewModel: NSObject {
         let chat = dcContext.getChat(chatId: chatId)
         let isArchivedBefore = chat.isArchived
         if !isArchivedBefore {
+            dcContext.marknoticedChat(chatId: chatId)
             NotificationManager.removeNotificationsForChat(dcContext: dcContext, chatId: chatId)
         }
         dcContext.archiveChat(chatId: chatId, archive: !isArchivedBefore)