Has anyone else have their dock randomly disappear? Not the auto hide feature, as that's not on. I move the pointer to the bottom and nothing shows, so definitely not auto hide. If I go into settings and change the size I can see it again but as soon as I stop changing the size it goes again. Only comes back on reboot. Reported the bug but wondered if it was just me.