Network manager to keep a Raspberry Pi online with a preference for different network interfaces.