I have exactly the same Gnus setup. fantastic! However, one of the most frustrating things currently is the wrong message counts when messages 'disappear' from

I have exactly the same Gnus setup. fantastic! However, one of the most frustrating things currently is the wrong message counts when messages 'disappear' from the backend either because they moved or deleted. Also when you get prompted by Gnus on how many messages you want to fetch from the server is broken by the above.