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.