typo in link on platform docs, thanks to [GNU] on irc]