Comment by ipince

But the second example there shouldn't be a TODO then, but just a NOTE (or regular comment).