I think it'll be better if it matches the naming scheme the original CTGP setup where it matches the codename of the console. CTGP-7 I understand because CTGP-Orange would sound weird. But NX sounds like a banger name like CTGP Nitro.
Definitely a missed opportunity, especially since CTGP Nitro (MKDS) and CTGP Revolution use the respective console's prototype names
but isn't CTGPDX also a mod specifically for MK8DX? So it also kinda wouldn't make sense as MK8DX is a port with extra stuff