PLATFORMS.md: Minor cleanup