fix #23345: translate workspace names

as  4f11576  was not enough.