This release is slightly earlier in the year than in recent years and we have adjusted our release schedule such that we now aim to release in April and October. The new release comes with some improvements in functionality and minor bug fixes. In particular we would like to highlight the following: