Acabei de instalar isso porque o xmodmap continua sendo reconfigurado e eu preciso usar o caps lock como backspace, mas selecionar essa opção no gnome-tweak-tool me dá o comportamento normal de caps caps e o comportamento de caps lock. Selecionar "Caps lock is disabled" não faz nada.
Eu tenho o layout minimak instalado pela modificação evdev, mas espero que este não seja o problema?