For comments like that either option is sensible from my perspective. I tend to be pretty relaxed about comment flags in general. Obsolete would even be reasonable if the comment was old and had clearly been read by the person it was intended for. Watch out for the comments that are a mix of constructive feedback and a thanks as well though and it's not worth hunting these out with SEDE queries just for the sake of finding them.