window.CODENAVIGATOR_CONFIG = {
  // Empty means same origin: the Go server serves both the frontend and the API.
  backendUrl: '',
};