Up through 1.4, there's no easy way to gray out the text of a component
(say, a button) that uses HTML formatting and is disabled. HTML formatting
would be easier to use if there were such a mechanism. The engineer says:

  We'd probably add a property to allow users to turn it on or off
  (or to customize the disabled appearance themselves).