I haven’t voted yet. I prefer switching for the long term if superior, but I’m not yet convinced by an alternative.
When I learned about the X that’s used as initial character in “other” currency codes, I wanted to switch Peercoin over to XPC (or similar). However, with NuBits that doesn’t really seem to work as well.
I don’t think we should go with any too cryptic alternative. I’m quite convinced it should be either US‑NBT or NBT‑US.
I do think this is nontrivial and should be considered properly, but we can’t waste too much time either.