am 5e5b57ae: Merge "DevDocs update: Publishing on Market" into ics-mr1

* commit '5e5b57aef29b33d03965b4dc370cde9a39220adc':
  DevDocs update: Publishing on Market