I wonder if 'servers' might be a better name than 'shared' for this? IMO "shared" is rather vague. Also it would be a better parallel with 'plugins'.