Various minor improvements. Most of them UI, and one to prevent mailing the whole repository history.