Some additional plugins, filetype tweaks