am 35fe9894: Merge "Doc change: Add tag for DevArt." into klp-docs

* commit '35fe9894d283153b0a72741e207a586ff70cd558':
  Doc change: Add tag for DevArt.