'.source.mzn':
  'editor':
    'commentStart': '% '