Update doc/Platforms.txt from master