Shell|GUI: Adjusted menu labels

Used "Server" instead of "Local Server", as the commands may control
remote servers as well.