Separated out (and tidied up) shell banner code