Meanwhile, in other resulting revelations: is it _really_ impossible to set a static IP on a Raspberry Pi from the config file? Seriously?

('Cause this is a mite inconvenient when the Feds have taken your DHCP server.)