Comment by lproven

:-D

It is certainly one solution.

As I recall, it was quite a long time after Linux was a thing that someone trademarked the name and donated it to the LF.