We have applied a mid-month update with security fixes, and as usual lots of small fixes and improvements, a few of which might be visible here.
As usual, comment below if you have any new problems with this release.
2 Likes