code: private String getFilePath(ExtensionId id, String fileExtension)
      {
          String encodedId = PathUtils.encode(id.getId());
          String encodedVersion = PathUtils.encode(id.getVersion().toString());
          String encodedType = PathUtils.encode(fileExtension);
  
          return encodedId + File.separator + encodedVersion + File.separator + encodedId + '-' + encodedVersion + '.'
              + encodedType;
      }
docs: Get file path in the local extension repository.
  
  @param id the extension id
  @param fileExtension the file extension
  @return the encoded file path