098d37c092
* commit '62ade220d9b72a9edc8fcc4dfe98ca9541c6d501': Doc change: add video to platform highlights and fix a few things.