deleted
because that's easier than writing a long edit pointing out the specific context in which my comment was intended (a context that should have been obvious based on the parent comments).
because that's easier than writing a long edit pointing out the specific context in which my comment was intended (a context that should have been obvious based on the parent comments).