v3.1.17

• Improved: Enable again auto-updates (058a559)
• New: Fix horizontal rule button when cursor is not on a new line (#11085 by @personalizedrefrigerator)
• Improved: Automatically detect and use operating system theme by default (5beb80b)
• Improved: Updated packages glob (v10.4.2), jsdom (v24.1.0), sass (v1.77.6), turndown (v7.2.0)
• Fixed: Delete revisions on the sync target when deleted locally (#11035) (#11017 by @personalizedrefrigerator)
• Fixed: Fix ctrl/cmd-n can create new notes while the trash folder is selected (#11092 by @personalizedrefrigerator)
• Fixed: Improve performance when there are many selected items (#11067) (#11065 by @personalizedrefrigerator)
• Fixed: Plugin API: Save changes made with editor.setText (#11117) (#11105 by @personalizedrefrigerator)
• Fixed: WebDAV synchronisation not working because of URL encoding differences (#11076) (#10608 by @pedr)