Documentation issue with <LeaderKey> instead of "\"

[stephane-rolland]

It took me a long time to find out why I thought vim-idris was not working although the plugin was loaded:

• In vim I've configured my LeaderKey as Space! It is not anti-slash \

As a consequence none of the commands in the documentation were working.

So I tend to think you should modify the documentation and replace LeaderKey by back-slash \

[vkorenev]

Documentation mentions <LocalLeader>, which is different from <leader> although both of them are mapped to backslash by default.