Remote development, without the networking