Shell|GUI: Adjusted menu labels
Used "Server" instead of "Local Server", as the commands may controlremote servers as well.
View differences
Shell|GUI: Adjusted menu labels
Used "Server" instead of "Local Server", as the commands may control
remote servers as well.