Update - 20161110 - new jump mechanism: use the A button to jump, harmonizing the behaviour with the double-jump. This new mechanism can be enabled/disabled from the settings. That allows to play with the original controls or with the new ones, based on what you prefer. Thank you for your feedbacks! Blue Gate.