Tangent; a small detail of your extension: I really like that tree widget you used, it traces the path from the root of the tree to the selected leaf. I wish a

Tangent; a small detail of your extension: I really like that tree widget you used, it traces the path from the root of the tree to the selected leaf. I wish all tree widgets looked like that. For instance, the VS Code file tree is awful: I always need to look thrice in order to double check which folder a file belongs to, specially when there are a ton of folders.