from grdryn on irc:
"Hi folks, tools.jboss.org/downloads/ shows latest devstudio as 8.0.2.GA, but jboss.org/products/devstudio/download/ still lists 8.0.0.GA
^Just FYI...I'm not sure if that's normal, or if the latter should be updated"
and yes, we should look at making it possible to mark an install as "updatesite" only or somehow refer to the "nearest" installer.
i.e. maybe something like:
and then just refer to old installer link in the download ?