@oliphant It came up in the comments on this post: https://qoto.org/@pwinn/109876370932467811

They seem to be running 4.0.2 right now, and seem to believe it'll be fixed by 4.1, something about a database operation being done on addition but not on deletion.

It's hard not to take the bug as an example of how little the possibility of a miscategorization has been considered by anyone. 😜