am a2bd9af9: Merge change 4759 into donut

Merge commit 'a2bd9af94757e73a4ff4c1fe8c98b4174b008b62'

* commit 'a2bd9af94757e73a4ff4c1fe8c98b4174b008b62':
  Removing top tabs from PDK navigation because right now we only have one section.