Pushing stuff to server requires GUID
Dock icon can be hidden, fixes #81 (osx)