{
  "defaultCycleTime": 5000,
  "ignoredNamespaces": [],
  "ignoredTips": [],
  "useAmericanEnglishAsDefault": false
}