Mind v0.1.3

• The desktop app now updates itself: it checks on launch, and Check for Updates… sits in the app menu on macOS and on the home screen on Windows and Linux.
• make web works on Windows checkouts, and the dev server no longer reinstalls the whole dependency tree on every run.
• The Mermaid view can be switched off again, and leaving it no longer resets custom node styles.
• File → Rename… renames the current document without going back to the home screen.
• Even spacing in the bottom toolbar, and the new app icon is used everywhere, including the browser tab.