guests/mini: Nicer output for running it on seoul.