Update platforms.html

Put in a temporary, but publishable state, by extending the incomplete sections.