Summary of changes: 285d0cb... Revert hotkeys patch. (*) ec6b5c4... Revert hotkeys patch. (*) 73ad571... Merge remote branch 'origin/f15' into f14 (*) This commit already existed in another branch; no separate mail sent