fix #23345: translate workspace names

as 4f11576 was not enough.