This issue is now resolved.

We are investigating an issue affecting TOPdesk's search functionality (for Operators).

We will provide further updates as soon as possible, and apologise for any inconvenience caused.