On the tools page, we display the results of the daily GitHub crawl collected in tools-data.json. However, the side panels where one can select languages and authors are quite lengthy (see attached screenshot). To have a (searchable) combo box here instead would be a big improvement.
On the tools page, we display the results of the daily GitHub crawl collected in
tools-data.json. However, the side panels where one can select languages and authors are quite lengthy (see attached screenshot). To have a (searchable) combo box here instead would be a big improvement.