agda-mode:restart