am 2c6a762c: am 84ea453c: Merge "Doc change: remove an unneeded file. Edits." into jb-dev

* commit '2c6a762c1adfd76fd67b521ffed69992eb6245dc':
  Doc change: remove an unneeded file. Edits.