/* shell.js — transition observation and phone shell navigation. First-party, dependency-free, CSP-clean, and optional: delete it (and its