devstudio.jboss.com/updates/8.0/ says it contains dev milestones which it should not

I was just reviewing Michelle's doc on updating from JBDS 8.0.0 to 8.0.1
(JBQA-11231) and it says you need to make sure this update site is listed in Eclipse:
https://devstudio.jboss.com/updates/8.0/
And I verified that this is exactly the update site that is set up automatically when you install JBDS 8.0.0.GA.

But that says:
This site contains the latest Development Milestone updates for JBoss Developer Studio 8.x.

We need an update site with released versions, but milestones. So either just the description is wrong or it's the wrong update site that we use?