Creating vimrc kills my plugin

Question

I have the following ~/.vim/filetype.vim:

augroup filetypedetect
  au BufRead,BufNewFile *?Script.sml let maplocalleader = "h" | source /home/gergely/HOL/tools/vim/hol.vim
  " recognise pre-munger files as latex source
  au BufRead,BufNewFile *.htex setlocal filetype=htex syntax=tex
  "Uncomment the line below to automatically load Unicode
  au BufRead,BufNewFile *?Script.sml source /home/gergely/HOL/tools/vim/holabs.vim
  "Uncomment the line below to fold proofs
  "au BufRead,BufNewFile *?Script.sml setlocal foldmethod=marker foldmarker=Proof,QED foldnestmax=1
augroup END

This is the HOL vim plugin . I want to edit *Script.sml files.

Now, when I write a ~/.vimrc file with the tip of this answer vim stops to read the plugin, which I recognise by the syntax highlighting stopped.

if system('uname -r') =~ "Microsoft"
  augroup Yank
    autocmd!
    autocmd TextYankPost * :call system('clip.exe ',@")
  augroup END
endif

I wanted to use that .vimrc to make it possible to copy to the clipboard in a Windows Terminal for a WSL Linux using ctrl-c.

How can I make the two coexist, the HOL vim plugin and this clipboard extension in vimrc?