Thock v1.20.0

What's Changed

• thock: Report a problem from the phone as a GitHub issue by @DiegoTavares in #127
• thock: Poll for phone writes instead of holding the change feed by @DiegoTavares in #129
• thock: Add the Inbox view with one key per decision (V41) by @DiegoTavares in #128
• thock: Treat deleting a path the server never had as done by @DiegoTavares in #131
• thock: Declare the hard fork from Zed by @DiegoTavares in #133
• thock: Cut the app's dependencies on the crates Thock never used by @DiegoTavares in #135
• thock: Land steps 2 and 3 of the hard fork on main by @DiegoTavares in #136
• thock: Cut the edges to the AI and git crates and make TOML built in by @DiegoTavares in #137
• thock: Own the app shell and delete the crates the title bar held by @DiegoTavares in #141
• thock: Drop the DMG license agreement by @DiegoTavares in #142
• thock: Port upstream Zed fixes from v1.24.3 by @DiegoTavares in #143
• thock: Give the desk its own look (V43 Almanac) by @DiegoTavares in #145
• thock: Add Passing Notes, the chat that floats over the page by @DiegoTavares in #146
• Release 1.20.0 by @DiegoTavares in #147

Full Changelog: v1.19.0...v1.20.0