Para burla de mis esfuerzos, resulta que hay una nueva manera de definir las teclas multimedia, más sencilla. La descubrí leyendo Planet GNOME [1], en particular una entrada [2] de Crispin Flowerday.
Pero ahorita tengo mucha hueva, y mi método funciona. Además, no resuelve el hecho de que tengo todavía varias teclas sin asignar; aunque creo que ese “problema” lo puedo resolver con un Hotkeys [3].
[4] Imprimir entrada [4]