Regarding disabling animation, I’m pretty sure it’s in settings, or you have to install gnome-tweak-tool.
I know I’ve seen it somewhere.
I ran across a bug where if you rename your host name via the settings option it can potentially hose your hosts file, so take a look at that. /etc/hosts (just a suggestion, I doubt if it applies).