Feature request: change default `leader` key

[listenerri]

I found the following source code:

    static const QMap<QString, int> k = {
        // FIXME: Should be value of mapleader.
        {"LEADER", Key_Backslash},

It seems that the leader key is hard-coded to Key_Backslash, is there a way to support custom leader key ?