At a grammar and implementation level, the "in" and "not in" operators are treated like comparisons (same precedence and opcodes), but at a semantic level, I concur with David Murray and don't think of these as being comparisons at all.   Accordingly, I prefer the current presentation
and agree with David that the note should be revised to say "only by types that support iteration".