Now that 8.0.1.GA is released, https://devstudio.jboss.com/updates/8.0/ is mostly updated for that. But one thing was omitted - the release notes link on the right points to 8.0.0 release notes.
It needs this link:
https://access.redhat.com/documentation/en-US/Red_Hat_JBoss_Developer_Studio/8.0/html/8.0.1_Release_Notes/index.html