Update welcome message.
Make git abbreviations less lenient.