i just noticed in 9,0beta (i assume it is the same in released versions) that the menu under Edit | Execute Query shows the accelerator keys to execute queries as F5. i think it should be F9 by default, and ideally would reflect the “Switch F5 and F9 functionalities” setting in Preferences.