> a focus change should really be intentional; auto focus isn't that. Might depend on what you're filming though.

As a solo operator, autofocus is great. Maybe the right metric is the number of crew per camera. 2-3 crew per camera? Manual focus is fine. 2-3 cameras per crew member, like solo filming a podcast or a theatre show? I'd choose autofocus every time.