Oddly, the manual download links have been broken for a while, but the full manuals are included in the IDE download, which works great.