What do you think of the Santa Ynez High principal's plan to resign after recent No Place for Hate incidents?

It's a bummer. It'd be better if he could stick it out and make more positive changes.
It's the right thing. The community clearly wants a different school leader.
It's complicated. There's only so much one school official can do.
It's not something I've been following.