junk 1.0.2

• merge hunk upstream: one terminal blur listener per diff pane (modem-dev#1111), bundled skills resolved by proximity (modem-dev#1116), faster PTY tests (modem-dev#1098), Nix and install-test fixes (modem-dev#1101, modem-dev#1108, modem-dev#1120).