Hi, I'm experimenting with Gnus Agent, and I noticed that an FAQ that gets published monthly with correct Supersedes: headers is shown twice in my Summary buffer.
Before I dive into this further, how does the Agent handle supersedes and/or cancellations? Are messages that have been downloaded in the past, but have been removed from the server since, supposed to be "deleted" in the local Summary buffer? To put it another way, is the Agent's local ".overview" supposed to be "synchronized" with the server's overview by default, or is it supposed to be a superset of the server's oerview? TIA, Tim
