Even with autoformatters, it's a choice of what criteria you pick. It's possible to have consistency without enforcing low information density.
No, it really isn't. Like I said, math journals don't autoformat the mathematicians' equations. There's signal encoded in the formatting that a tool can't understand.
But if you have hundreds of developers on a project it does in fact make sense to sacrifice that signal in order to keep them from fighting with each other over silly formatting choices.
I wish. Stuff like Prettier is purposely unconfigurable and leads to the unreadability of JS code across the ecosystem.