It would be highly unusual if they matched orders from several currencies.
That is precisely what they do.
Is it really written anywhere on their page or another reliable source? This
However, since the USD volume is usually higher than other currencies, trades in USD have more chance to hit another order in USD.
I have understood like "if you trade in USD you have more chance to execute the order", not that "order with EUR can be matched by order in USD".