f1ed59bc
* commit 'f1ed59bcebfd3042aead8d91ee47eca38af543c6': Doc change: fix typo in platform highlights.