Would you change the name to a symbol (like, maybe - ^ - or ~ [1]) and call it "The Kernel Formerly Known As Linux?"

Seriously, going from a bazillion flavours of Linux to a bazillion strangely named "Operating Systems" I don't really think would change the perspective all that much. This is, of course, IMHO, and I could be "full of condensed milk" as my father-in-law used to say.

Laterz!

[1] Update: It seems unicode characters copied from Linux pastes OK into a Win7 Virtual Machine but won't display in the post - must be filtered. Let's try "normal" ones...Drat! Even the 8th bit is filtered! So much for {Alt}+{NumPad}, altho it still works in Win7!