First of all, this is a great feature, thanks for adding it!
We have a lot of builds (about 80 I think). Updating takes some time, so I think waiting 500 ms after the last keystroke could save quite some refreshes, especially when I am typing a longer name.
Hi Geert,
Thanks for reporting this. There was supposed to be a delay - I was wondering why this was so responsive. We’ll look in adding a small delay.