restartKernel: "kernelmenu:restart" = 'kernelmenu:restart'