62ade220
* commit '62ade220d9b72a9edc8fcc4dfe98ca9541c6d501': Doc change: add video to platform highlights and fix a few things.
93f97f53