.vimrc: Newer Vim limits history size to 10000