New Documentation! IDE User Guide

To accompany the arrival of IDE 1.8.0 — more info here — we’ve posted the first edition of our IDE User Guide, an in-depth walk through the online development tool’s features.