Update TODO to be not so out-of-date.