Directory name in file tree still highlighted after navigating back to root of repository

[mrnugget]

1. Open a folder on Sourcegraph: https://sourcegraph.com/github.com/sourcegraph/sourcegraph/-/tree/dev
2. Click on the repository name in the top left
3. Folder name is still highlighted

Video:

directory_not_unhighlighted.mp4

[github-actions]

Heads up @AlicjaSuska @felixfbecker @umpox @valerybugakov @5h1rU @pdubroy - the "team/frontend-platform" label was applied to this issue.

[mrnugget]

@pdubroy Just saw that this was put into "Needs input" -- let me know if any input from my side is required.

[pdubroy]

@mrnugget Sorry for the delayed response, but it looks like this have everything we need :-)