update RELEASE_NOTES with remarks about hotkey bugs