After an install: put the desktop’s part in place (GNOME’s shell extension), then run doctor
Usage: universe setup [OPTIONS]
