5
$\begingroup$

I feel that we should rename to since it seems it is the more common terminology.

Any opinions?

| |
$\endgroup$
3
$\begingroup$

I think this is a reasonable proposal.

| |
$\endgroup$

You must log in to answer this question.

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