posting here instead of in a github issue because I want to understand if this makes sense, or if it’s a bug

That does not look expected. It’s possible it’s a rendering bug in the tree view? If you could open an issue on this that would be great.

sure thing 🙂