I just noticed there is a 443 tag. It is used in more than a handful of questions, but I find its name quite poorly chosen.
What to do about it? Rename? Remove?
I just noticed there is a 443 tag. It is used in more than a handful of questions, but I find its name quite poorly chosen.
What to do about it? Rename? Remove?
My initial thought upon reading the question was that 443 was a rarely used HTTP status code. It turns out that's not what it was used for. Which proves your point about the naming being extremely poor.
I agree that port-443 would be much better. I don't have much opinion on whether renaming or creating both names with 443 being a synonym for port-443 is the better choice.
Merging with https or simply deleting 443 would also be better than status-quo.
I would suggest we merge the tag with HTTPS.
The current description already says "AKA HTTPS"...