@ApiStatus.Internal
  public static @NotNull Path getPlatformOptionsFile() {
    return Path.of(PathManager.getBinPath(), getFileName());
  }
@ApiStatus.Internal
  public static @NotNull Path getPlatformOptionsFile()