vimrc: miscellaneous modifications.