Reworking the <Leader> shortcuts a bit.