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

* commit '84ea453cc7a9f193cfef1b3e2af41935dbe15d02':
  Doc change: remove an unneeded file. Edits.