More concise “command not found” error message in edit