Add tex ultisnips
Abolish some more
Add .mkv to VLC alias