Update options.{txt,jax}#2509

h-east merged 2 commits intovim-jp:mastervim-jp/vimdoc-ja-working:masterfrom

h-east:update-optionsh-east/vimdoc-ja-working:update-optionsCopy head branch name to clipboard