dconf-shortcuts: discrete setup for gnome hotkeys