On-demand loading of filetype plugins