editfile.vim: also highlight \"