I don't think that this is related, because we simply have no mixed letters somewhere. It is just the English top menu in horde.
Apart from that, the Horde support said something about Horde 5.2.10 in the PEAR modules in the link I mentioned. Can we expect an update?