[mfontani]

Yup, I do. I do use Yabai, sans that modification. Disabling SIP "just" to get speedier/no animation doesn't seem like a good cost/benefit.