I think it also helps to remove the delay for showing the hidden Dock
defaults write com.apple.dock autohide-delay -float 0 && defaults write com.apple.dock autohide-time-modifier -float 0.15 && killall Dock
Thanks. I might try it, but to be honest I don't particularly dislike the animation.
Thanks. I might try it, but to be honest I don't particularly dislike the animation.