Uncomment a line in agda/utf8.vim.