Thanks Micheal!

A separate question:

I'm working on a few plugins targeted at v5. Are there plans to update the embedded JS/web engine? AFAICT MoI 5 is using QtWebKit, which works, but has been deprecated for about 7 years and replaced by QtWebEngine. There was a fork for a while at qtwebkit/qtwebkit, which was abandoned 3 years ago, then MoveableInk picked up a new fork at https://github.com/movableink/webkit - no idea if this would be a viable upgrade path compared to moving to QtWebEngine.

This leads to some friction trying to use fairly standard development tools, e.g. TypeScript targeting ES6, even targeting very early 2016-ish syntax or styles using CSS grids or flexbox features which were standardized shortly after the cutoff when QtWebKit development ceased.

This is on macOS, so I don't know if this is different for the Windows builds.