Actually, although download.jboss.org is back for "consumption", it
appears that the server where we connect to push stuff to
download.jboss.org does not accept SFTP connections, which are
necessary for us to push content.
So the target-platform build is delayed until we can again push
content to download.jboss.org.