v3.1.17 | FList

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)