Oh nice! I can contribute to the RFC when I or other people start to use this more and more.
The main idea is to leverage deps repos like maven and clojars so we don’t need to create a dependency package manager for ourselves. So tools for dependency conflicts, visualization etc are already built.
I still need to write some small guides like how to publish and need to open a MR to the TLA+ VSCode extension so things are better integrated (e.g. people should be able to choose which Deps they want from VSCode itself which would write the options to the settings.json file).
Glad to hear about this RFC :D