Merge changes I8e81d244,If03ccac0,If8ec1887 into stable-2.8

* changes:
  Don't mention label abbreviation in search documentation
  Don't mention Verified as a default label in search documentation
  Minor fixes in dev-plugin documentation