Thanks for sharing this suggestion! I'll keep you posted if there's any news worth mentioning.
Yes that would be great! We experience that we can't merge tickets very often lately and with a search bar it would be a lot easier. Just like the search bar when Linking Conversations (Conversatie koppelen in Dutch).