Generally like Jeff’s stuff but maybe rename this to “Remote shell into a Raspberry pi without a VPN”? Otherwise no one on hacker news is going to care. We’ve

Generally like Jeff’s stuff but maybe rename this to “Remote shell into a Raspberry pi without a VPN”? Otherwise no one on hacker news is going to care. We’ve been doing that for years on planes with traditional home VPNs or things like Tailscale.