I remember it when RMS was shouting it from the rooftops.
I'm not sure that ART/Linux is any more catchy than GNU/Linux, but just as GNU wasn't the OS, neither is ART.
Don't get me wrong, these are all very silly pedantic arguments in the face of such a law.