Notices

But a client isn't supposed to download messages, delete copies on the server, and then discard local copies without being told explicitly to, even with a faulty server. An error message would be much nicer.

If anybody wanting to track down the problem needs an account on such a server, I can create one.