Right, but I would assume that if someone provided their own HTML they would use class names in a separate namespace.

But I agree that this isn't a big deal. So forget I said anything about it :)