docs: void checkPermission( String workspaceName,
                            Path path,
                            String... actions ) throws AccessDeniedException {
          checkPermission(workspaceName, pathSupplierFor(path), actions);
      }