.vimrc: Improve definition of custom HTML options