Merge branch 'stable-2.9'

* stable-2.9:
  Fix plugin name in REST API documentation synopsis lines
  Correct grammar of greeting configuration options

Change-Id: I7f624b3d17217c65e6bb45e096b4e5c84a7b1c9c
tree: 43657caec903ddf286a281e7b021ac2616533222
  1. src/
  2. .gitignore
  3. BUCK
  4. LICENSE
  5. pom.xml