With all of that going on, I think it could be quite possible to establish some kind of marketing body for desktop Linux.

There’s every reason to want that too.