Updated <platform> tags (hopefully for the last time).