As the big WT merge has rolled on, there have been a couple of PRs into the integration branch. These won't be in develop yet. There will also likely be a set of other changes that didn't slot into another ticket that we ought to look at and possibly merge.