modify html fold from F to <leader>f