2

Could we rename to ? StackOverflow uses the latter, shorter form. It would make sense to go with an established standard here, since this is referring to the same thing anyway.

1

Good catch. Done.

You must log in to answer this question.

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