$ 0 0 I see <Leader> quite often in other people's vimrc files.Like this one.What is it? What does it do?