Jump bar sluggish

Dorico 4.2. I have only just started thinking about using the Jump Bar. On my pretty fast machine, typing in the jump bar seems sluggish to find matches, and especially if I backspace to correct. I know this is one of those dreadful ‘my computer is running slow’ questions, but is this normal behaviour as it searches through the thousands of commands?

It’s pretty quick for me?

I’m on a 2017 MacBook Pro.

Even though there are a couple of thousand commands in the jump bar’s repertoire, that’s not really a particularly big set of data, and it should be pretty much instantaneous. Perhaps you could record a little screen capture video showing what you’re seeing in real-time?

Performance seems to have come back today. Computer having a bad day perhaps.