search all messages, not separate groups

I've spent a fair amount of time trying to find the message »Izbor za usporedbu: označi kružiće pokraj dvije inačice koje želiš usporediti i pritisni "Enter" ili pritisni tipku "Usporedi izabrane inačice"« in Croatian translations and haven't been able to find it. The message closest to it is https://translatewiki.net/wiki/MediaWiki:Histlegend/hr in All>MediaWiki group (but where is it used?). The message shows at history pages, for example here. My question is: is there a way to search in all translations, and not just group-by-group here (All translations tab)? Also, why does group All>MediaWiki search take so long, 10+ minutes? I know it's 40k messages, but that's ~nothing in Wiki* search standards.

Ponor (talk)‎

I'm not sure what search you're using, but Special:Search and Special:SearchTranslations return results immediately for me.

The message is MediaWiki:Histlegend/hr You won't find that message with that specific string, because it's a local customisation: w:hr:MediaWiki:Histlegend.

Nemo (talk)‎

@Nemo: my bad, what I was using is the list *filter* (upper right corner of the table here), which I suppose is fetching data from the server as it filters them. Special:SearchTranslations definitely helps for these hard-to-find messages, but for general use it lacks the comfort of being able to see and edit related messages without ever leaving the translation tool (Special:Translate) page. Thanks!

Ponor (talk)‎