I could see major value in adding that search box for both automation reasons and use of use to the average user. —
Develop games in your browser. Powerful, performant & highly capable.