I'm pretty sure that the type of person who is bothered by this isn't bothered specifically by brand names being spelled incorrectly, but is bothered just as much by e.g. "TeX" not having the final X capitalized. (And are still actually bothered by "TeX" because the E is supposed to be capitalized and subscript but not smaller than the T or the X, and that isn't possible to express in Unicode plaintext [or most things besides TeX itself.])
