function readTheme(jsonText) {
  try {
    const settings = JSON.parse(jsonText);
    return {
      ok: true,
      theme: settings.theme,
    };
  }