[bdcravens]

How is it differentiated from Octotree?

[alexmdodge]

Octotree is a much larger extension which has a extended scope. This was built as a small, seamless file explorer to support the GitHub pull request view. I think of it more like a component than an actual full augmentation.