DrRacket用于α重命名的键盘快捷键

Question

如何在DrRacket中将键盘快捷键（例如F2）绑定到α-rename，在右键单击变量名称的上下文菜单中以rename foobar形式提供？

documentation归结为“从API调用一个神奇的函数名称”，但我很难在所述API中找到该操作。

Answer 1

从DrRacket 6.0版的历史文件

Added keybindings for the items in the Check Syntax popup menu,
notably c:x;m to rename a variable, c:x;d to just to the
definition of an imported variable, c:x;n to go to the next
occurence of a variable, and c:x;b to go to the binding occurrence
of a variable.

所以ctrl-x，我应该这样做。