Wait before doing the change
First, is that really worth doing the change? Considering how they were not consistant in all their documents...

So "Civic CRX" apply to all non-Japan models?
So it is either CR-X or Civic CRX ? Or are there also some with just CRX?