PLATFORMS updates

[Will Coleda]

Now would be a great time to work on updates to PLATFORMS so they're
ready for the release tomorrow.

Jerry is working on NEWS updates while in transit, but patches could
potentially be helpful there as well.

Thanks.

-- 
Will "Coke" Coleda