nrepl-insert-banner -> nrepl-insert-banner-and-prompt