At a time we decided to use just CRX for easy of listing.
We can change that, but we have to clearly decide what to do for various years & markets.
In Belgium (probably Europe) the 3rd gen was "Civic CRX" and not "Del Sol"... at least at the beginning: it seems that at a time they dropped the Civic name.