Then there are the big PC manufacturers, with thin margins and stagnant sales as they hand over billions for Windows licences.

If throwing a bone to Linux marketing got them only a bit more leverage to negotiate the OEM price, it could be the bargain of the century.