More settings copied from Gary Bernhardt's vimrc