Update doc/Platforms.txt a little bit ...