ddf7240
Patch delete to actually behave as delete instead of backspace. Include keybindings.properties in docs.