Issue #94: Added mapping <alt> keys to the <option> keys.