.vimrc: miscellaneous changes.