Print international collection names in the "no match found..." message that is shown when no direct hits were found in the current collection(s) selected by the user and when some hits are findable in other collections. Thanks to Ferran Jorba for the initial patch addressing the issue.