File explorer API?

Taking my first steps in plugin development, without too much Node or Typescript experience.

I’m aiming for a basic plugin that can fold/unfold specific folder sets in the File Explorer. Ran through the basic tutorial and can find my way through the standard API.
But the file exporer pane is a core plugin, and I can’t find any documentation on its API? Is there some source I’m missing? Or are there efficient ways to find out via the developer console?

Thanks for any help!

You can access the file explorer view from the dev console by


And it seems to have saveFolds/loadFolds/getFoldKey methods. There isn’t any documentation about this view class, but you can read the (minified) source code from the dev tools.