As a user I should be able to search over the entire sources when viewing the repo. This should happen either with the browser's ctrl + f search or within the Monaco Editor (VS Code) search, ie. vs code's search should search all sources, not the one being displayed only.