Thanks aquadran, it's much appreciated!

Any possibility that we could start getting official Linux packages again? Even as a Flatpak or Snap. The distros do eventually update their packages, but sometimes the release schedules mean that there's a decent wait. Ubuntu 19.10 just released, so we're looking at 6 months before we can get a bui...