I neither need nor want animated headers for anything ever. On mobile I can top the top of the screen to scroll to the top, and on PC I can use ctrl+home (on OS

I neither need nor want animated headers for anything ever. On mobile I can top the top of the screen to scroll to the top, and on PC I can use ctrl+home (on OSX Cmd+Home) or hold down middle mouse and speed scroll to the top. The only thing that auto-hiding header does is cover up something I was trying to see.