JSON documentation files

Use `json` instead of `yaml` format for the variable documentation, to improve the support of special characters (e.g. `åäö`.