server.ggo: Remove unused selector option.