Add todo relating to Ctrl-C.