Was this meant to be `skip-welcome-message`?

Either way, I wouldn't be concerned with logging out two helpful messages being annoying to people. And if they are annoyed, I would file it under "Oh, well." That's just my opinion, though. :)