Update doc/Platforms.txt