docs: public static String readJsonFile(Path dir, Path config, String version, String filename) throws IOException {
          try {
              return readJsonVersionedFile(dir, version, filename);
          } catch (NoSuchFileException e) {
              // We fall back to default mappings in config dir
              return readDefaultJsonVersionedFile(config, version, filename);
          }
      }