5
$\begingroup$

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

Any opinions?

$\endgroup$

1 Answer 1

Reset to default
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 .