Agree on all points. Except I'm not sure why you think the IHRA definitions are overly broad. That is what the article says, but the article is unconvincing. All of its examples had me thinking let's go with the IHRA definitions, they seem pretty solid.