LiGNUx would have been fine, but the reactions were incredibly explosive and violent when it was first proposed back in mid '90s, which got us to GNU/Linux, GNU+Linux and *-*-linux-gnu quadruplets.

GNU+Linux is a great way to refer to it, and shortening to GPL is a delicious coincidence I hadn't come across before. don't you worry about [GNU] Linux-libre, it's not quite as important.

I'm not sure I'd come across Ariadne's article before, but I definitely didn't get the idea that she was supportive of the GNU/Linux naming convention back when I was in contact with her in the fediverse.

that's nice. I still get a sense that she denies (or doesn't realize) the heritage and the political significance of GNU's role in the history that enabled Alpine to be what it is, but... it still feels to me like progress ;-)