15

I suggest the tags and be merged, the wiki shows that they are talking about the same thing.

I believe that is the most correct writing and would also be the one that breaks auto-completion less than the other. Hence, merging makes more sense than creating a synonym.

If I am wrong (if it is more correct to create a tag synonym than merge them), then should be the synonym to the master . This is also the tag that has the nicer wiki page.

1

1 Answer 1

7

We should be consistent with all the PKCS: currently

That's a majority of # uses (if a slight one if you count questions and not tags), and I agree that PKCS#11 and the like is “more correct” — as Wikipedia puts it, “The correct title of this article is PKCS #11. The substitution or omission of the # is because of technical restrictions.”.

Thus, moderators: please merge

5
  • 1
    I think rename resp. merge, not synonymizing, aye? Commented Sep 18, 2014 at 0:33
  • 1
    @Deduplicator There's no rename tool in the moderator user interface, only a merge tool. If the target of the merge doesn't exist, then effectively the merge tool renames. Commented Sep 18, 2014 at 6:22
  • That's good enough. I don't insist on how they name it. ;-) Commented Sep 18, 2014 at 8:38
  • Just wanted to post the same question/request...is there any progress?
    – vlp
    Commented Aug 18, 2015 at 19:50
  • @vlp I'll try to get hold of a mod. Commented Aug 18, 2015 at 20:16

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .