IDE 1.25.0 released

If you’ve been using the IDE in the last half-hour or so, you’ll have noticed that we have just updated it to make a number of improvements. You can read the full release notes here, or just leap right in.