An obsolete TODO is replaced with a comment.