« first day (1782 days earlier)      last day (1595 days later) » 

6:50 AM
About a year ago there was suggestion to rename the tag (divergence) to name which indicates more clearly that it is not about divergence of series but about the notion in vector calculus.
I saw that one other suggestion which appeared in the same discussion was already done: There is now a synonym .
Perhaps some moderator would be willing also to rename to . (This name was suggested by several users, see also here: chat.stackexchange.com/rooms/3740/conversation/…)
Alexander Gruber mentioned in the tagging chatroom that the plan is to make synonyms , and .
So basically what I am saying is that might be slightly better. (And it would be also in accordance with the post which I linked above and which is now at score 18.)
Hm, the link to chatwas supposed to be to this conversation: Renaming the (divergence) tag. To get a working link, I probably should not have added full stop right after url.
 
 
9 hours later…
4:07 PM
@quid: Are the moderators kind of busy these few weeks?
 
4:24 PM
@user21820 yes, kinda. Why?
 
@quid Oh just wondering whether I should stop raising flags for the time being.
 
@user21820 the issue you are likely concerned about is on our radar. It's not that we do not pay attention at all. :-)
@MartinSleziak is that tag 'clean' enough for the rename?
@MartinSleziak yes, I am also concerned about a synonym divergence -> wherever as I don't like ambiguous syns.
 
@quid Ah okay thanks, but I should anyway stop flagging, because you already have collected all the evidence you need, right?
 
5:00 PM
@quid To be honest, it's definitely not great (there are many questions with sequences-and-series tag).
But if it's going to be synonymized to (div-grad-curl) as Alexander Gruber indicated, I still think that it would be a bit better with the more specific name.
 
 
1 hour later…
6:03 PM
@user21820 I would not say that you should stop flagging. But maybe that there is arguably no urgent need for raising similarly themed flags.
@MartinSleziak in a way it is maybe a chicken-and-egg problem. I'll rename.
 

« first day (1782 days earlier)      last day (1595 days later) »