Stuff for turning a Raspberry Pi into a network config jumphost