mariotaku merged webosbrew/dev-manager-desktop#437 · October 23, 2026 03:06 Allow DNS hostnames for device addresses #437 The shared device editor rejects every address except IPv4, preventing users from adding or editing TVs by local DNS name. Accept ASCII hostnames s… +130 -2