Remove links to all platforms and make room for other stuff. One link
labeled "Platforms" is enough, and we are already linking to the platforms
page from the front page.

No objections on: doc
Reviewed by: remko