Added manual sections on portability and hotkeys.