@quid I wonder whether it might be reasonable to rename riemann-stieltjes-integral to stieltjes-integral or whether we should wait a bit more whether there will be more feedback in the related post on meta.

The question is now already older than 14 days, so it is no longer in community bulletin. So probably it is getting less views now than before. (Which is why I think that most likely not much is going to be added to that discussion.)

Although I see you have your hands full elsewhere - just a reminder of this older post, where you also joined the discussion in comments.

@MartinSleziak yes, I think it is reasonable. The questions is how to proceed exactly. The creator of the tag will get a badge down the road. I am not sure anybody cares, but in case someone does I do not want to be seen as having grabbed that badge via creating the tag and merging. That is to say, I'd have a preference that somebody else creates the tag. I'll then be happy to merge.

Tag creation privileges comes with 1000 rep points.

So of the people involved in that discussion, Toby Bartels is out of the question.

I think that the original R-S tag was created by John Ma. He already has taxonomist badge.

And even without checking, I think both you an me already have taxonomist badge, so neither of us can gain a new badge in this way.

@quid If you really think the badge could be an issue here, you can suggest to gt6989b that they might create tag.

In a sense, they might deserve it for bringing the tag up on meta.

Personally, I am not really sure to which extent this really is an issue.

I see:

@MartinSleziak done. I agree it is not that important. But more minor things created drama.

Ok, so basically nothing more to do about this, until there is some response for the OP.

Thanks for the quick response!

@MartinSleziak yes, except if they don't reply in which case we must not forget to still do it.

You are welcome. Thanks for the reminder.