This release fixes a few bugs, especially some updater-related ones, and adds further improvements. We recommend to update.