var ternServerConfig = {
  switchToDoc: function(name) { self.selectDoc(self.findDoc(name)) },
  useWorker: false
};