So I normally peruse [tag:numpy] questions, and recently got tag-editing capability.  I noticed that sometimes folks like to tag the common abbreviation of [tag:numpy] to [tag:np].  OK, simple, ask meta to synonymize it, right?

Maaaybe not.  As per [tag:np]'s tag wiki:

>NP ("nondeterministic polynomial") is a complexity class of decision problems that can be solved by a nondeterministic Turing machine in polynomial time. Equivalently, it is the set of decision problems for which an answer can be verified in polynomial time by a deterministic Turing machine.

[Wait, is that even on-topic?](https://meta.stackoverflow.com/questions/345467/high-level-algorithm-engineering-questions) There seems to be quite a few questions and answers in [tag:np] along those lines, and I don't know enough theoretical CS to judge, so I'm bringing it to meta!

Basically I see 3 options:

1) NP-complexity is off-topic for SO, and therefore burninate [tag:np] questions on it and then synonimize [tag:np] with [tag:numpy]
2) NP-complexity is on-topic for SO, but rare/esoteric enough to justify renaming [tag:np] to [tag:np-complexity] and then synonimizing [tag:np] with [tag:numpy]
3) Do nothing, retagging the occasional question is not high-effort and [tag:np] is just as or more valid as a computer science term than as an alias for a `python` package. 

But I'm not even sure which to request, if any.  Or if that last option is just my impostor syndrome acting up.