Update platforms.tex