Randomly fails to update contents of chat - e.g. message deleted by bot remains visible in Telegram Desktop

Steps to reproduce

Obviously there's no way I'll ever be able to provide steps to reproduce.

This is what happens:

1. In a supergroup, some user sends a message to the chat
2. a bot that is admin of the chat, deletes the user's message almost immediately

EDIT: sometimes it also happens in this slightly different situation:

1. the bot posts a message to the supergroup
2. some time later, the bot deletes its own message

Expected behaviour

The deleted message should disappear in Telegram Desktop.
One may expect a delay of a few seconds at most.

Actual behaviour

Usually messages that are deleted by the bot (or by anybody for that matter) disappear as expected, but sometimes, randomly:
The message remains visible and never gets deleted in Telegram Desktop, unless I restart the application.

Messages that have been sent after the one that was deleted, are visible: so it's not like the connection has been lost or anything. The connection is working, the chat is syncing, but some particular update (i.e. the deletion of a message in particular) has been silently lost and never gets synced. And there's no indication anywhere that something is wrong. The user has every right to assume that what they are seeing is the current up-to-date contents of the chat, but that's not the case.

Obviously I checked in the mobile app in the same group and the message was deleted.

Operating system

Manjaro Linux

Version of Telegram Desktop

4.12.2

Installation source

Static binary from official website

Crash ID

No response

Logs

No response

No source file, test, or entry point is identified. Start by reproducing the bot-message deletion scenario in Telegram Desktop 4.12.2 and inspect the update-synchronization behavior when later messages still arrive. Done means deleted messages consistently disappear without restarting the application.