Filter required for lists with many branches / Broken filter

[astares]

When you have an own fork from Pharo repository, create a branch and then would like to merge a PR from the origin you get a dialog with many branches to select.

It is tough to scroll through these - ideally a filter could be added so one just have to type the number.

In general we have many lists in Iceberg where a filter might make sense now.

[astares]

Basically there is a filter in this list - but it is not working:

I can type 10071 to filter for issue 10071 for example - but without any effect. This looks like a bug or unimplemented feature