Improve discoverability of find file feature in the web IDE

Problem to solve

finding a file in the web ide

Intended users

web ide users (developers)

Further details

add the "find file" feature in the web ide sidebar

Proposal

add an icon or make Edit editable, converting to a filename-based search/filter within the tree

Permissions and Security

repo access

Documentation

Minimal

What does success look like, and how can we measure that?

Easier finding of files//wider adoption of web IDE (dealbreaker missing feature for a lot of developers)

Links / references

p.s.: sorry if duplicated, but I couldn't search for web ide find file without being greeted by a 500