v0.1.33

Settings

• General is grouped: the island and being told, this desktop, chats,
  other devices, updates and privacy. Searching Settings for island,
  pause, voice, remote, shortcut and the rest finds it.
• Pause has a row, with what it holds back and what it does not.
• The island says how it is drawn on this desktop: above every window, a
  layer at the top, or, on GNOME, a window wherever the desktop puts it.
• Ask before stopping a terminal can be turned back on after Don't ask
  again.
• Remote says how to get in, step by step, what type and answer
  allow, and where its log is kept.
• Voice messages say where the microphone is and how to install a
  whisper.
• An orchestrator's first screen says where its rules for sessions live.

devpit.app

• devpit lives at devpit.app. Sign-in and error reports go there, and the
  install line is curl -fsSL https://devpit.app/install.sh | sh. Installed
  copies that still ask the old address keep working.
• The installer checks each release's signature by devpit's key, where
  minisign is installed, besides its checksum.

Fixes

• A session that finished no longer shows as working. Claude Code's own
  background forks report a subagent ending after the turn has ended, and that
  put the session back to work on the island, its tab and its card.
• The microphone and the island's sound work in the AppImage. It carries
  the GStreamer plugins it records and plays with; the system's are newer than
  its own GStreamer and were refused. The .deb recommends them.
• The tray offers a pause again when one ends on its own, rather than
  Resume for a pause long over.

Full Changelog: v0.1.32...v0.1.33