am 21de5f3f: Doc change: misc changes to highlights.

* commit '21de5f3f12071458c2a1cf3dd39bb9271ee13e92':
  Doc change: misc changes to highlights.