Switching Mark/Unmark all hotkeys to red

Following the policy described in the Readme.