Fluxbox: Replace all F-key shortcuts with letters