Continues from the Google Home TV integration handoff. Diagnosed that projector
PJLink control was broken (HA host .156 stale; projector drifted to .149), fixed
HA + exposed media_player.mitsubishi_projector to Google Home, and pinned the IP
via an Omada DHCP reservation. New helper pushed to Seth/network-tools.
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>