The first 0.7.1 aborted on Linux before its window appeared (it read WebKitWebView's write-only 'settings' property). The owner asked for the patch to be released again rather than followed by a 0.7.2: this commit is 0.7.1 as it should have been, and tag v0.7.1 moves here. The release workflow now replaces the release of a tag that is pushed again. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>