quilt patch documenting Debian-specific change of hotkey from F9 to Pause
log changes