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