vim: don't(?) reload agda syngen functions
vim, <Leader>h: toggle syntax highlighting
vim, <leader>b, don't show listing