v0.4.16-dev

DEV-only:

• Removes GitHub token UI from Settings.
• Terminal: history + copy output; DEV builds execute via bash so pipes/curl work (still blocks disk wipe cmds).
• Storage: system + swap devices never appear as Format candidates.
• Apps: prevents daemon crash/connection drop during install/update/etc when proxy repair fails.