read the comments on the PR.

download_url aren't used anywhere and having tools.jboss.org pointing to jboss.org/tools which will redirect to back to tools.jboss.org doesn't make sense either.