an obsolete TODO is removed