Fetch prelude via ssh